Если не ошибаюсь, это сложилось исторически.
Ещё у Эйлера в середине XVIII века модулем
![$$M$$ $$M$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24M%24%24)
называлась система чисел, обладающая следующим свойством:
![$$a\in M, b\in M \Rightarrow (a\pm b)\in M$$ $$a\in M, b\in M \Rightarrow (a\pm b)\in M$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24a%5Cin%20M%2C%20b%5Cin%20M%20%20%5CRightarrow%20%28a%5Cpm%20b%29%5Cin%20M%24%24)
. Иными словами, у Эйлера модуль
![$$M$$ $$M$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24M%24%24)
- группа относительно сложения.
А вот
сравнение по модулю впервые определил Карл Гаусс в своей книге „Disquisitiones Arithmeticae” 1801 года. Это выражение - калька то ли с немецкого, то ли с латинского.
Так вот, Гаусс рассматривал
![$$m$$ $$m$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24m%24%24)
- данное целое положительное число, и вместе с ним и все его кратные
![$$km$$ $$km$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24km%24%24)
, где
![$$k$$ $$k$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24k%24%24)
- любое целое. Именно систему этих кратных Гаусс и обозвал модулем. И он же ввёл в теорию чисел определение: если разность двух целых чисел
![$$a$$ $$a$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24a%24%24)
и
![$$b$$ $$b$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24b%24%24)
делится на
![$$m$$ $$m$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24m%24%24)
или принадлежит к модулю
![$$m$$ $$m$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24m%24%24)
, то такие числа называются сравнимыми по модулю
![$$m$$ $$m$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24m%24%24)
. И он же первый ввёл обозначение:
![$$a\equiv b\pmod{m}$$ $$a\equiv b\pmod{m}$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24a%5Cequiv%20b%5Cpmod%7Bm%7D%24%24)
.
Ну, в общем, где-то так.