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

Unicode
Structured

Syntax definition cun

Description: Syntax for the union of two classes.

		Ref	Expression
	Assertion	cun	class ( A u. B )