Definition:Term of Ordered Tuple