Definition:Ordered Tuple as Ordered Set/Ordered Singleton

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


 * $\tuple a := a$