Syntax definition clo1

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

	Ref	Expression
Assertion	clo1	$$class\le 𝑂\left(1\right)$$