Definition:Ordered Tuple Defined by Sequence