precongruence

Noun

 * 1)  A congruence of a preorder