Es el conjunto de los elementos que no pertenecen al conjunto --pero sí al conjunto universo. Si el conjunto universo son los números enteros, entonces el complemento de los números pares son los impares. (El complemento del conjunto vacío es el conjunto universo.)
Ver también:
Conjunto universal (o universo)