Relações de Subconjunto e Superconjunto
Se um conjunto X está incluído num conjunto Y, então X é um subconjunto de Y e Y é um superconjunto de X. Um conjunto de n elementos irá conter 2n subconjuntos. O conjunto nulo, os conjuntos de uma nota, e o próprio conjunto geralmente não são considerados (2n - (n + 2)).
Alguns dos subconjuntos podem ser membros da mesma classe de conjuntos
Como com a relação de complemento, a relação subconjunto/superconjunto pode ser tanto literal quanto abstrata. O conjunto X é um subconjunto literal do conjunto Y se todas as notas de X estão contidas em Y. O conjunto X é um subconjunto abstrato do conjunto Y se qualquer forma transposta ou invertida de X estiver contida em Y, isto é, se qualquer membro da classe de conjuntos que contém X for encontrado entre os subconjuntos de Y. (Cf. Straus, pp. 84-6)