congruence

의미구조를 정의할 때, e1 -> e1' 이면 (e1 e2) -> (e1' e2) 와 같이 부분의 계산에 따라 전체 계산 결과가 일관되게 바뀌는 성질입니다. 영어로는 congruence (합동, 일치)라고 하는데, 바로 와닿지가 않아서 제안합니다.