Unión: Sean A y B conjuntos. La unión de A y B, denotada como A ∪ B, es el
conjunto de elementos que pertenecen a A o pertenecen a B. En otras palabras, A ∪ B = {x : (x ∈ A) ∨ (x ∈ B)} donde ∨ es el conectivo lógico de disyunción. El diagrama de Venn es una representación gráfica que muestra todas las relaciones lógicas posibles entre una colección finita de conjuntos. El diagrama de Venn que representa la unión de dos conjuntos es el siguiente:
Intersección: Sean A y B conjuntos. La intersección de A y B, denotada como A
∩ B, es el conjunto de elementos que simultáneamente pertenecen a ambos, A y B. En otras palabras, A ∩ B = {x : (x ∈ A) ∧ (x ∈ B)}, donde ∧ es el conectivo lógico de conjunción.
Complemente: Sean A y B conjuntos. El complemento de A en B, denotado como
B \A, es el conjunto de elementos de B que no pertenecen a A. B \ A = {x ∈ B : ∼ (x ∈ A)}={x ∈ B : x ∉ A}, donde ∼ es el conectivo lógico de negación. Leyes de Morgan: Sean A y B subconjuntos de U. Entonces se cumple que (A ∪ B) = A ∩ B y (A ∩ B) = A ∪ B . Ejemplo: Si A, B y C son conjuntos, el conjunto (B ∩C)\A está representado por el área más obscura en el diagrama de Venn de la figura 2.5.
Producto Cartesiano: Sean A y B conjuntos. El producto cartesiano de A y B,
denotado como A × B, es el conjunto de todos los pares ordenados formados por los elementos de A y B: A × B = {(a, b) : a ∈ A, b ∈ B}.
Diferencia simétrica de conjuntos
Que el nombre esta operación no te alarme, también es muy sencilla. En esta ocasión se deben escoger los elementos de que no están en , y los elementos de que no están en . Puedes ver el resultado de la diferencia simétrica entre y en la figura de abajo. Representamos la diferencia simétrica a través del símbolo . En el caso de nuestros conjuntos y tenemos: .