Cuando A es un subconjunto de otro X, su complemento en X se denota por X \ A.