Sia $(G, \cdot)$ un gruppo e sia $H$ un sottogruppo di $G$.
Definiamo una relazione di equivalenza in $G$ congruenza destra di $H$ definita come:
$$ \forall a,b \in G \ \ \ a\rho_db \ \ \ \Longrightarrow \ \ \ ab^{-1}\in H $$