Syntax definition clo1

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

	Ref	Expression
Assertion	clo1	class ≤𝑂(1)