Acyclic:
forall x1,..,xn in X: x1Bx2, x2Bx3, ... , x(n-1)Bxn => x1 != xn