Cartesian product
그렇다면, 곱집합 formula_3 위에 다음과 같은 이항 관계 formula_4들을 주자.