donde |"A"| denota el cardinal de "A".