Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Basic operations on classes
The intersection of two classes
cin
Next ⟩
injust
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cin
Description:
Syntax for the intersection of two classes.
Ref
Expression
Assertion
cin
class
A
∩
B