Syntax definition ccss

Description: Extend class notation with set of closed subspaces.

	Ref	Expression
Assertion	ccss	class ClSubSp