Definition:Empty Ordered Tuple