de subconjuntos de X se llama anidada, ssi, para todo m, n en N.se cumple que