1.9 Relaciones entre conjuntos

Definición (Igualdad entre conjuntos)

Dos conjuntos A y B son iguales si y solo si tienen los mismos elementos.
Es decir, ambos conjuntos se contienen mutuamente. Simbolicamente, este concepto se representa por:

(A = B) ←→ [(A ⊆ B) ⋀ (B ⋀ A)]

Usando las definiciones y las propiedades de la logica proposicional, se tiene:
(A = B ) ←→∀x[(x ∊ A) ←→ (x ∊ A )]

Definición (Conjuntos disjuntos e intersecantes)

Los conjuntos A y B son DISJUNTOS si y solo si A y B no tienen elementos en comun. Los conjuntos A y B son INTERSECANTES si y solo si A y B tienen al menos un elemento comun.