Syntax Definition cin 3120

Description: Extend class notation to include the intersection of two classes (read: "𝐴 intersect 𝐵").

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵

Assertion

Ref	Expression
cin	class (𝐴 ∩ 𝐵)

See definition df-in 3127 for more information.