For a given positive integer formula_1, two integers formula_3 and formula_4 are called congruent modulo formula_1, written: formula_6if formula_7 is divisible by formula_1 (or equivalently if formula_3 and formula_4 have the same remainder when divided by formula_1).
Отношение formula_1 на множестве formula_2 называется "стабильным" относительно formula_3-арной операции formula_4, определённой на этом множестве, если для любых элементов formula_5 (formula_6) множества formula_2 из истинности отношений formula_8 (formula_9) вытекает истинность отношения formula_10.