Programming Language Theory ConceptSequenceProperties 4Hide BooksChapter 2. Mathematical preliminaries JourneyProgramming Language Theory Statusmastered Tagsorder lattice theoryset theory relationAn ordered collection of elements indexed by natural numbers - formally, a function from ℕ to some set, denoted (a0,a1,a2,...) or (ai)i∈ℕ. Previous in ConceptsSentence diagramNext in Concepts Sequential evaluation