Um conjunto é uma coleção de objetos, que podem ser números, letras, ou qualquer outro tipo de elemento. Os elementos de um conjunto são distintos e não se repetem. Um subconjunto é um conjunto cujos elementos estão todos contidos em outro conjunto. Se todo elemento do conjunto S também é um elemento do conjunto T, dizemos que S é um subconjunto de T, o que é representado como S ⊆ T. Se S não contém todos os elementos de T, mas ainda assim todos os seus elementos estão em T, S é um subconjunto próprio de T.