Cartesian product
이항관계 formula_1은 때로 어떤 곱집합 formula_10의 부분집합으로 간주된다. 이때 formula_11이며 formula_12이다. 특별히 formula_13인 경우, formula_1을 "formula_15 위의 이항관계"라고 한다.