El término congruencia se utiliza además con dos sentidos ligeramente diferentes: por un lado con el sentido de identidad matemática, como ejemplo de este uso tenemos el pequeño teorema de Fermat que asegura que para cada primo formula_24 y cada entero formula_4 no divisible por formula_24 tenemos la "congruencia":