column value
英文名稱 left congruence relation
中文名稱 左同餘關係