Intersección de conjuntos

En la teoría de conjuntos, la "intersección" es una operación binaria en el conjunto de todos los subconjuntos de un "U", Conjunto universal, dado. Por la cual a cada par de conjuntos "A" y "B" de "U" se le asocia otro conjunto: (A\cap B) de "U".
Si "A" y "B" son dos de ellos entonces su intersección se simboliza y se define como:
A\cap B= \{ x\in U \mid \ x \in A \ \land \ x \in B \}
La "intersección de A y B", es el conjunto de elementos "x" de "U", tal que, "x" pertenezca a "A", y que....