同値類
数学において，ある集合 の元が（同値関係として定式化される）同値の概念を持つとき，集合 を同値類（どうちるい，）たちに自然に分割できる．これらの同値類は，元 と が同じ同値類に属するのは と が同値であるとき，かつそのときに限るものとして構成される．
フォーマルには，集合 と 上の同値関係 が与えられたとき，元 の における同値類は， に同値な元全体の集合
である．「同値関係」の定義から同値類は の分割をなす．この分割，同値類たちの集合，を の による商集合 (quotient set) あるいは商空間 (quotient space) と呼び， と表記する．
集合 が（群演算や位相のような）構造を持ち，同値関係 がこの構造と適切に両立するように定義されているとき，商集合はしばしばもとの集合から類似の構造を引き継ぐ．例としては，線型代数学における商空間，位相空間論における商空間，，等質空間，商環，，など．