Syntax Definition cuni1 4134

Description: Extend class notation to include the unit union of a class (read: 'unit union A')

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cuni1	class ⋃1A

See definition df-uni1 4139 for more information.