Syntax definition crpss

Description: Extend class notation to include the reified proper subset relation.

	Ref	Expression
Assertion	crpss	class [C.]