Definition:Ordered Pair/Notation
Jump to navigation
Jump to search
Definition
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.
Sources
- 1996: Winfried Just and Martin Weese: Discovering Modern Set Theory. I: The Basics ... (previous) ... (next): Part $1$: Not Entirely Naive Set Theory: Chapter $1$: Pairs, Relations, and Functions
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory: $\S 4$ The pairing axiom: Ordered Pairs