si todo formula_6 es imagen), se dice que formula_3 es una función "sobreyectiva" (o "suprayectiva"), que es una función de formula_1 "sobre" formula_2, o que es una "sobreyección".