Metamath Proof Explorer

Syntax definition ctopon

Description: Syntax for the function of topologies on sets.

Ref Expression
Assertion ctopon 
class TopOn