For categories, we take X and Y to be disconnected if X ≠ Y and neither dominates the other.- Chomsky (1995), Pag. 339