Metamath Proof Explorer


Syntax definition cxp

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

Ref Expression
Assertion cxp class ( 𝐴 × 𝐵 )