Irreflexivity:
forall x in X: x!Bx