Pertenencia de conjuntos

En la teoría de conjuntos, la "unión de conjuntos" es una operación binaria en el conjunto de todos los subconjuntos de un "U", Conjunto universal, dado. Mediante la cual a cada par de conjuntos "A" y "B" de "U" se le asocia otro conjunto: (A\cup B) de "U".
Si "A" y "B" son dos conjuntos, entonces su unión es:
La "unión de A y B", es el conjunto de elementos "x" de "U", tal que, "x" pertenezca a "A", o que, "x" pertenezca a "B".
Esta operación es conmutativa....