Syntax definition ccusp

Description: Extend class notation with the class of all complete uniform spaces.

	Ref	Expression
Assertion	ccusp	class CUnifSp