Un conjunto es una agrupación de elementos. Un subconjunto es una parte de un conjunto más grande tal que está contenido íntegramente en él: Y ς X.

Así pues, el subconjunto complementario de Y será aquel que posea todos los valores de X que no posee Y: Z = X – Y = x ς X // x noς Y, y se verifica que: X =  Y ó (X – Y).

Dos conjuntos son iguales cuando se cumple que: X ς Y, y que Y ς X.

La intersección entre dos subconjuntos: Y ∩ Z : x ς X // x ς Y y además x ς Z.

Se cumple que: (Y ∩ Z) ς (Y ó Z), y que Y ∩ (X – Y) = 0.

Y ∩ Z es el mayor subconjunto de X contenido a la vez  en Y y en Z, e (Y ó Z) es el menor subconjunto de X conteniendo a la vez a Y y a Z.