Ordered pairs and the Cartesian product