Metamath Proof Explorer


Syntax definition cbigcup

Description: Declare the set union relationship.

Ref Expression
Assertion cbigcup classπ–‘π—‚π—€π–Όπ—Žπ—‰