집합 X {\displaystyle X} 위의 이항관계 ∼ {\displaystyle \sim } 이 다음 조건
을 만족하면 ∼ {\displaystyle \sim } 을 동등관계(equivalence relation), 또는 동치관계라고 한다.