La noción equivalente en la teoría de conjuntos es la unión (formula_2).