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