Overview
An ordered pair is just a ordered collection of two items (typically numbers), usually written as
{% (a, b) %}
where {% a %} and {% b %} are the items in question. Set theory provides a formal definition of order pairs.
Definition
An ordered pair (x,y) = {{x}, {x,y}}
{% (x,y) = \{\{x\}, \{x,y\}\} %}