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
Structured

Syntax definition cin

Description: Syntax for the intersection of two classes.

		Ref	Expression
	Assertion	cin	class ( 𝐴 ∩ 𝐵 )