Ordered Lists

Sequences are functions from natural numbers. They can converge to limits, diverge to infinity, or oscillate. Bounded monotonic sequences always converge.