>>294
ある行or列に重複があるということは
そこには出てこない元があるということ。
出てこない元をBとすれば(2)が成り立たなくなる。

(1)がないと空集合が群になるんじゃないか?
∀A,B∈φ, ∃x,y∈φ, xA=B, Ay=Bは真だから。
元が存在するなら(2)だけでもよいだろうけど。