Negative transitive:
forall x,y,z: x!By /\ y!Bz => x!Bz

negative transitive <=> xBz => [forall y in X:(xBy) \/ (yBz)]