Un subconjunto A de E define una "partición" de E en dos partes E = A ∪ B , con A ∩ B = {}= ∅ (conjunto vacío).