Syntax definition cpt

Description: Extend class notation with a function whose value is a product topology.

	Ref	Expression
Assertion	cpt	class ∏t