Metamath Proof Explorer


Syntax definition cbigcup

Description: Declare the set union relationship.

Ref Expression
Assertion cbigcup class 𝖡𝗂𝗀𝖼𝗎𝗉