Syntax definition chsup

Description: Extend class notation with supremum of a collection in CH .

	Ref	Expression
Assertion	chsup	class \/H