数学において,ある集合の元が(同値関係として定式化される)同値の概念を持つとき,集合を同値類(どうちるい,)たちに自然に分割できる.これらの同値類は,元とが同じ同値類に属するのはとが同値であるとき,かつそのときに限るものとして構成される.