Subconjunto
Un subconjunto es un conjunto cuyos elementos están todos contenidos también en otro conjunto, escrito A ⊆ B.
Formula
A \subseteq B: \text{ every element of } A \text{ is in } B
Definition
El conjunto $A$ es un subconjunto del conjunto $B$ si todo elemento de $A$ también está en $B$, así que $A$ cabe dentro de $B$. Formalmente, $A \subseteq B$ significa: para todo $x$, si $x \in A$ entonces $x \in B$; $A = B$ si y solo si $A \subseteq B$ y $B \subseteq A$, la técnica de demostración estándar para la igualdad de conjuntos. La relación de subconjunto $\subseteq$ define un orden parcial en cualquier colección de conjuntos: reflexiva, antisimétrica y transitiva, y el conjunto potencia $P(X)$ bajo $\subseteq$ forma un retículo booleano.
Example
Para $A = \{2, 4\}$ y $B = \{1, 2, 3, 4, 5\}$: como $2 \in B$ y $4 \in B$, $A \subseteq B$; todo conjunto también es subconjunto de sí mismo. Demostrando $A \subseteq A \cup B$: toma cualquier $x \in A$, entonces por definición de unión, $x \in A \cup B$. En topología, una topología en $X$ es una colección de subconjuntos (conjuntos abiertos) que satisface la clausura bajo unión arbitraria e intersección finita, así que todo concepto topológico se construye sobre la relación de subconjunto.
Key Insight
El conjunto vacío $\emptyset$ es subconjunto de todo conjunto, porque no hay elementos en $\emptyset$ que pudieran fallar en estar en $B$. El conjunto potencia $P(A)$, el conjunto de todos los subconjuntos de $A$, tiene $|P(A)| = 2^n$ cuando $|A| = n$, explicando por qué incluso conjuntos pequeños tienen muchos subconjuntos. El retículo de subconjuntos bajo $\subseteq$ es el álgebra booleana prototípica, conectando la teoría de conjuntos con la lógica (donde $\subseteq$ corresponde a la implicación) y el diseño de circuitos.