Metamath Proof Explorer


Syntax definition cbigcup

Description: Declare the set union relationship.

Ref Expression
Assertion cbigcup
class Bigcup