Syntax definition cub

Description: Declare the syntax for the upper bound relationship functor.

	Ref	Expression
Assertion	cub	$$class\mathrm{UB}R$$