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