Llamamos conjunto complementario de un conjunto y lo representamos por al conjunto diferencia: siendo U el conjunto universal. Esto es:

El conjunto complemento de A es el conjunto de los elementos x, que cumplen que, x pertenece a U, y que, x no pertenece a A.

Por ejemplo, si tenemos que:

entonces:

Nota: Otras notaciones para designar al conjunto complemento pueden ser: ? o ~A. No obstante, alguna de estas notaciones puede llevar a confusión, ya que también se usan para representar otros conceptos.