Dicho de otro modo: todo conjunto no vacío tiene un elemento disjunto con él, es decir, si formula_5 es no vacío, existe un conjunto formula_2 de forma que formula_7.