Sea M el conjunto de mujeres con hijos, H el conjunto de los hijos y f la función que asocia a cada mujer con su hijo primogénito. Es una función inyectiva.
