Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Miscellaneous topology
ctopsep

Next ⟩ ctoplnd

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ctopsep

Description: The class of separable topologies.

		Ref	Expression
	Assertion	ctopsep	$class TopSep$