Let be a fixed signature, and a structure for . A congruence on is an equivalence relation such that for every natural number and -ary function symbol of , if then