Classes are disjoint if the intersection of their extensions is an empty set. In other words, they have no common instances in any possible world.