La idea de cardinalidad de un conjunto se basa en la noción anterior de biyección.