Syntax definition cxp

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

	Ref	Expression
Assertion	cxp	class ( 𝐴 × 𝐵 )