Syntax Definition cxp 4537

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

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵

Assertion

Ref	Expression
cxp	class (𝐴 × 𝐵)

See definition df-xp 4545 for more information.