Ordered pairs and their properties