Syntax definition clti

Description: Positive integer ordering relation.

	Ref	Expression
Assertion	clti	$$class{<}_{𝑵}$$