Definition:Ordered Tuple as Ordered Set/Ordered Singleton

From ProofWiki
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