2. Igualdad de
conjuntos
Sean A y B dos Conjuntos
A=B⇔A⊂ByB⊂A
Teniendo en cuenta la definición de inclusión, esta definición también puede expresarse
así:
A = B ⇔ (ɐ x)([x ∈ A x ∈ B]) ^ [ x ∈ B x ∈ A]
En una Teoría Axiomática de Conjuntos, se usa esta ultima expresión para describir la
igualdad de conjuntos y se le da el nombre de axioma de extensión
3. Conjunto potencial
Sea A un conjunto. El conjunto potencia de A es el conjunto (A) cuyos elementos son
todos los subconjuntos de A. Esto es: (A) = { X / X ⊂ A}
Ejemplos:
Si A = Φ, Entonces (A) = {Φ}
Si A = {a}, entonces (A) = {Φ, {a} }
4. subconjuntos
Sean A y B Conjuntos. Diremos que A es Subconjunto de B o que A esta incluido en B, y
escribiremos A ⊂ B , si todo elemento de A es también elemento de B esto es,
simbólicamente: A ⊂ B ⇔ (ɐ x)(x ∉ A x ∉ B)
Ejemplo:
Si A = {1,2,3} y B = {1,2,3,4,5}, entonces A ⊂ B.
A={a,b }es un subconjunto de b= {a,b,c}