Corolario 0.1.2 de cardinalidad