Definition:Ordered Tuple on Set