類別
集合$ S の同値関係$ \sim による商集合を作ることを類別という。