Reflexivity:
forall x in X: xBx

completeness /\ transitivity => reflexivity