Syntax Definition cin 2858

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

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cin	class (A i^i B)

See definition df-in 2866 for more information.

Copyright terms: Public domain