Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Basic operations on classes
The union of two classes
cun

Next ⟩ unjust

Metamath Proof Explorer

Ascii
Structured

Syntax definition cun

Description: Syntax for the union of two classes.

		Ref	Expression
	Assertion	cun	class ( 𝐴 ∪ 𝐵 )