Lambda calculus
Theoretical computer science
Ordinal number
Applied mathematics
Abstraction
Knaster–Tarski theorem
Mathematics
Order theory
Computability theory