Syntax definition cssc

Description: Extend class notation to include the subset relation for subcategories.

	Ref	Expression
Assertion	cssc	class ⊆cat