Invarianto (matematiko)
Invarianto estas valoro, kiu ne ŝanĝigas dum certaj operacioj aŭ transformo.
Se en la argumentaro de iu funkcio f ekzistas ekvivalentrilato kaj tiu funkcio identas sur la eroj de tiu rilato (ne dependas de la elekto inter ekvivalentaj eroj), ĝi estas nomata invarianto (sub tiu ekvivalentrilato).
La invarianteco estas ofte uzata por pruvi la ĝustecon de programadaj procezoj: Se valoro estas teorie invarianto, ĝis konstanteco en programa transformo devas esti pruvebla. Simpla ekzemplo estas, ke la diferenco de du nombroj devas resti egala, se oni malgrandigas ambaŭ je 1.
