The above definition is model-independent and can have different representations in different models. For example in the relational model where a relation is attribute-value timestamped (chronons), each point in the sequence will be a tuple. For tuple timestamping, v will be a set of attribute values. Note that temporal elements are derivable from a time sequence.