Britannica Sources used in this answer

Why are the ordered pairs (x, y) and (y, x) usually different?

Created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

In set theory, the ordered pair (x,y) is defined by the specific sequence of its elements, where x is the first element and y is the second. Because the definition of an ordered pair relies on this positional arrangement, (x,y) and (y,x) are considered distinct unless x=y.12

This distinction is fundamental to the concept of a Cartesian product, which constructs sets of pairs by drawing the first element from one set and the second from another. Furthermore, this ordering is essential for defining mathematical relations and functions. For instance, in a function, the first element x is mapped to a unique value y; if the order were interchangeable, the mapping would lose its defined directionality and consistency.12