Mathematics
Model theory
Abstraction
Structure
General topology
Type
Topological space
Constructible universe
Filter
Ring
Ultraproduct
Metric space