Syntax definition ctsr

Description: Extend class notation with the class of all totally ordered sets.

	Ref	Expression
Assertion	ctsr	$$class\mathrm{TosetRel}$$