cin - New Foundations Explorer

	New Foundations Explorer		< Previous Next > Nearby theorems
Mirrors > Home > NFE Home > Th. List > cin		Unicode version

Syntax Definition cin 3208

Description: Extend class notation to include the intersection of two classes (read: "

intersect

").

**Hypotheses**
Ref	Expression
cA
cB

**Assertion**
Ref	Expression
cin

See definition df-in 3213 for more information.

Colors of variables: wff setvar class