Kongruence je uvedel eden največjih matematikov Carl Friedrich Gauss koncem 18.st.
Za kaj gre? Gre za to, da se z relacijo deljivosti v množici celih števil deljenci velikokrat obnašajo podobno kot ostanki teh števil pri deljenju z deliteljem.
Ker je mnžica ostankov omejena množica, se problemi z deljivostjo na ta način poenostavijo. Namesto da bi računali z deljenci, računamo z ostanki. Izkaže se, da imajo števila določene lastnosti, ki jih lahko opišemo že z njihovimi ostanki pri deljenju.