En matemàtiques i en particular en àlgebra abstracta, una relació de congruència o simplement una congruència és una relació d'equivalència que és compatible amb algunes operacions algebraiques.