>>130
つまり空集合を持たぬよう
a,b,c ab,c a,bc ac,b と分けて
同値関係を列挙すればいいのでしょうか？
ちなみに　〜　の記号は何を意味しますか？