同値関係

数学において、同値関係（どうちかんけい、equivalence relation）とは、2 つの対象が "ある意味で" 同じである、あるいは同一視できるという関係を一般化して述べた概念である。例えば整数に関して普通の意味でそれらが等しい、等しくないという議論はその代表格である。しかし、数学に於いてはこのようなものに限らず、様々な「ある意味で同じ」という関係を考える必要がある。そこで「ある意味で同じ」という関係を一般化して考えるために、「同値関係」という名前を付けてそれらを総称する。同値関係はあくまで集合（あるいは類）における二項関係の一種であるので、命題の同値性とは区別して考えなければならない。
Wikipedia.orgをもっと見ると…