Definition:Ordered Pair/Notation

From ProofWiki
Jump to navigation Jump to search


In the field of symbolic logic and modern treatments of set theory, the notation $\sequence {a, b}$ is often seen to denote an ordered pair.

In sources where the possibility of confusion is only minor, one can encounter $a \times b$ for $\tuple {a, b}$ on an ad hoc basis.

These notations are not used on $\mathsf{Pr} \infty \mathsf{fWiki}$, where $\tuple {a, b}$ is used exclusively.