Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Define basic set operations and relations
cun
Next ⟩
cin
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cun
Description:
Extend class notation to include union of two classes (read: "
A
union
B
").
Ref
Expression
Assertion
cun
$${class}\left({A}\cup {B}\right)$$