Database
BASIC TOPOLOGY
Topology
Topological spaces
Topological spaces
ctps
Next ⟩
df-topsp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ctps
Description:
Syntax for the class of topological spaces.
Ref
Expression
Assertion
ctps
class TopSp