symmetric:
forall x,y in X: xBy => yBx