Syntax definition clo1

Description: Extend class notation with the set of all eventually upper bounded functions.

	Ref	Expression
Assertion	clo1	class <_O(1)