subconjunto

Un subconjunto es un conjunto cuyos elementos pertenecen también a otro conjunto más grande, llamado el conjunto principal o conjunto universo. En otras palabras, si todos los elementos de un conjunto A están contenidos dentro de un conjunto B, entonces decimos que A es un subconjunto de B. Un subconjunto puede ser idéntico al conjunto principal (en cuyo caso, se le denomina subconjunto impropio) o contener menos elementos que el conjunto principal (subconjunto propio). Es fundamental entender que la pertenencia de un elemento a un subconjunto implica necesariamente su pertenencia al conjunto del cual es subconjunto. Esta relación de contención es una piedra angular en la teoría de conjuntos y tiene amplias aplicaciones en diversas áreas de las matemáticas y la informática.