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.