Completeness:
forall x,y in X either xBy or yBx