Dados os conjuntos A e B, diz-se que A está contido em B, denotado por AsubsetB, se todos os elementos de A também estão em B. Algumas vezes diremos que um conjunto A está propriamente contido em B, quando o conjunto B, além de conter os elementos de A, contém também outros elementos. O conjunto A é denominado subconjunto de B e o conjunto B é o superconjunto que contém A.