Syntax definition cxp

Description: Extend the definition of a class to include the Cartesian product.

	Ref	Expression
Assertion	cxp	class ( A X. B )