Database
BASIC TOPOLOGY
Topology
Separated spaces: T0, T1, T2 (Hausdorff) ...
ct0
Next ⟩
ct1
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ct0
Description:
Extend class notation with the class of all T0 spaces.
Ref
Expression
Assertion
ct0
class Kol2