Wiktionary
precongruence
n. (context mathematics English) A congruence of a preorder
n. (context mathematics English) A congruence of a preorder