Mathematics
Order theory
Non-standard analysis
Abstraction
Structure
Ultrafilter
Boolean algebra
Ideal
Ordinal number