Weakly connected:
forall x,y in X either xBy or yBx or x=y