Syntax Definition cxp 4771

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

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cxp	class (A × B)

See definition df-xp 4785 for more information.