Intersección de conjuntos
De Wikipedia, la enciclopedia libre
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: 
de U.
Si A y B son dos de ellos entonces su intersección se simboliza y se define como:
La intersección de A y B, es el conjunto de elementos x de U, tal que, x pertenezca a A, y que, x a pertenezca a B.
Esta operación es conmutativa, asociativa, tiene neutro y tiene inverso:
donde:
es el complemento de A.
Por lo tanto el conjunto potencia de nuestro universo U y la operación 
forman una estructura algebraica tipo grupo abeliano.
[editar] Propiedades
Sean A, B y C tres conjuntos cualesquiera:
- 1. A ∩ B ⊆ A y A ∩ B ⊆ B.
- 2. A ∩ ∅ = ∅ y A ∩ U = A.
- 3. A ∩ A = A (propiedad idempotente).
- 4. A ∩ B = B ∩ A (propiedad conmutativa).
- 5. (A ∩ B) ∩ C = A ∩ (B ∩ C) (propiedad asociativa).
- 6. a. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
- 6. b. (B ∪ C) ∩ A = (B ∩ A) ∪ (C ∩ A) (propiedad distributiva respecto de la unión).
- 7. A ∪ (A ∩ B) = A = A ∩ (A ∪ B) (ley de absorción).
