同餘對(congruence pair)用於刻畫逆半群上同餘的一個重要概念.設S是一逆半群，E是它的冪等元半格，K是S的一個正規子半群，即K是S的逆子半群，且EcK，對任意二ES，二一’KxcK; p是E上的一個正規同餘(即P是E上的同餘，且epf~‘一’expx-' fx, `d二ES)，若K為S的正規子半群，滿足下列條件，則稱(K,川為S的同餘對
