抽象代数学において、合同関係 (congruence relation)（あるいは単に合同 (congruence)）は（群、環、あるいはベクトル空間のような）代数的構造上の、その構造と協調的な同値関係である。すべての合同関係は対応する構造を持ち、その元はその関係の同値類（あるいは合同類 (congruence class)）である。
