 A more general situation where this trick is possible is with Omega-groups (in the general sense allowing operators with multiple arity).But this cannot be done with, for example, monoids, so the study of congruence relations plays a more central role in monoid theory.The idea is generalized in universal algebra