Metamath Proof Explorer


Syntax definition ctopon

Description: Syntax for the function of topologies on sets.

Ref Expression
Assertion ctopon class TopOn