See: Sequence, Function, Sequence Relation, Sequence Operation, String Function, Sequence Length Function.