Syntax definition ctrpred

Description: Define the transitive predecessor class as a class.

	Ref	Expression
Assertion	ctrpred	$$classTrPred\left(R,A,X\right)$$