Si A no es subconjunto de B lo anotaremos A -⊂B.