Cartesian product
곱집합, 함수를 비롯한 이항관계와 같은 수학 개념은 순서쌍을 이용하여 정의되었다.