Definition:Ordered Tuple as Ordered Set/Ordered Singleton
Jump to navigation
Jump to search
Definition
The degenerate case of the ordered tuple $\tuple a$ on the singleton $\set a$ is defined as:
- $\tuple a := a$
Sources
- 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: $n$-tuples