Syntax definition cprstc

Description: Class function defining preordered sets as categories.

	Ref	Expression
Assertion	cprstc	Could not format assertion : No typesetting found for class ProsetToCat with typecode class