Conjunto que incluye a todos los elementos no incluídos en un conjunto A.