A relation between two numbers, stating that they have the same remainder when divided by a particular modulus.