Syntax definition co1

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

	Ref	Expression
Assertion	co1	class 𝑂(1)