Syntax definition cipo

Description: Class function defining inclusion posets.

	Ref	Expression
Assertion	cipo	$$class\mathrm{toInc}$$