Cartesian product
formula_91가 왼쪽 오레 조건을 만족시킨다고 하자. 그렇다면, 곱집합 formula_20 위에 다음과 같은 동치 관계를 주자.