función supreyectiva

Si tenemos una función f: |R -> {1}, es decir, la función constante igual a 1, vemos que todos los elementos del codominio (solo uno) son imagen de algún elemento del dominio.
En este ejemplo, el cardinal de B es menor al de A.
Si no querés usar cardinales infinitos, definamos
f: {1,2,3,4,5,6,7,8,9,10} -> {1} por ejemplo y vemos que suryectiva pero no verifica que el cardinal de B es mayor o igual que el de A.