Definition:Codomain of a Sequence