Syntax definition credunds

Description: Extend the definition of a class to include the redundancy class.

	Ref	Expression
Assertion	credunds	$$class\mathrm{Redunds}$$