Syntax definition ccmet

Description: Extend class notation with the class of complete metrics.

	Ref	Expression
Assertion	ccmet	class CMet