Puesto que el conjunto universal contiene "todos" los elementos en consideración, y el conjunto vacío no contiene a ninguno, se tiene lo siguiente: