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
Unicode

Syntax definition cun

Description: Syntax for the union of two classes.

		Ref	Expression
	Assertion	cun	$class (A \cup B)$