Database
BASIC TOPOLOGY
Topology
Topological spaces
Topologies on sets
ctopon
Next ⟩
df-topon
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ctopon
Description:
Syntax for the function of topologies on sets.
Ref
Expression
Assertion
ctopon
class
TopOn