11. The axioms for integers typically define them as equivalence classes of ordered pairs of natural numbers. 12. Throughout this section assume a type-level ordered pair . 13. As before, the conjugate thus yields a norm and an inverse for any such ordered pair . 14. :For those who have similar problems, you want to treat the information given as ordered pairs . 15. The diagonal functor assigns to each object the ordered pair and to each morphism the pair. 16. Set theory, meanwhile had moved on with its reduction of relation to the ordered pair of sets. 17. The most natural construction, and historically the first, uses ordered pairs of members of " F ." 18. If the Cartesian product is taken, the cells of the table contain ordered pairs of the form. 19. Ordered triples which are defined as ordered pairs do not have this property with respect to ordered pairs . 20. Ordered triples which are defined as ordered pairs do not have this property with respect to ordered pairs.
