More generally, a function may map equivalent arguments (under an equivalence relation ~A) to equivalent values (under an equivalence relation ~B).
Γενικότερα, μια συνάρτηση μπορεί να καθορίσει ισοδύναμα επιχειρήματα (κάτω από μια σχέση ισοδυναμίας ~ Α) σε ισοδύναμες τιμές (κάτω από μια σχέση ισοδυναμίας ~ B).