# Definition:Ordered Tuple as Ordered Set/Ordered Singleton

The degenerate case of the ordered tuple $\tuple a$ on the singleton $\set a$ is defined as:
$\tuple a := a$