Antisymmetric:
forall x,y in X: xBy /\ yBx => x=y