完滿同餘(perfect congruence)半群上類似於群上同餘的同餘.設S是一半群，P是S上的同餘，若關於任意二，yES，常有集合論意義下的等式<xp) <yp)= <xy)p成立，則稱P是完滿的.
