== Cardinalidad y sobreyectividasobreyectividad ==
Dado'''dddd'''Dados dos conjuntos <math>\scriptstyle A</math> y <math>\scriptstyle B</math>, entre los cuales existe una función sobreyectiva <math>f:A \to B</math>, se tiene que los cardinales cumplen: