Syntax definition co1

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

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