Completeness
Filters, Ideals (Combinatorics)
Metric Spaces
Monotone Convergence Theorem
Real Numbers
Surreal Numbers