等价类

（equivalent class）集合论用语。设R是集合S上的一个等价关系，则对任何x∈S，由［x］R={y ｜y∈S且xRy}所定义的S的子集，称为x（关于R）的等价类。可以证明，对于任意的x、y ∈ S,［x］R=［y］R当且仅当xRy。若R是集合S上的一个等价关系，则所有等价类构成的集合{［x］R｜x∈S}是S的一个划分。