集合S上の二項関係～が、反射律・対称律・推移律を満たしているとき、” 同値関係 “といいます。S上の同値関係が与えられると、互いに交わりが空集合となっている同値類たちにSを類別することができます。わかりやすい例 ...