Definition 5.14 (Pairs and Tuples)

#Definition

For arbitrary $a, b$ we let $(a, b)$ denote the $(ordered) pair$ with $components$ $a$ and $b$
For $k \in N$ and arbitrary objects $a_{1}, \dots, a_{k}$ we let $(a_{1}, \dots, a_{k})$ denote the $(ordered) k -tuple$ with $components$ $a_{1}, \dots, a_{k}$
$Equality of tuples:$ For all $k, ℓ \in N$ and $a_{1}, \dots, a_{k},$ $b_{1}, \dots, b_{ℓ}$ :
#TODO