Similar to 射影線型群

Finite intersection property

Directed set

∂

Discrete space

Lindelöf space

Sequential space

Continuous function

Continuum (topology)