>>70
だから書いてる通りで
商クラスvbの元は同値類だから
集合じゃなくちゃね