Database
BASIC TOPOLOGY
Topology
Topological spaces
Topologies
ctop
Next ⟩
df-top
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ctop
Description:
Syntax for the class of topologies.
Ref
Expression
Assertion
ctop
class
Top