Syntax Definition cnin 3205

Description: Extend class notation to include anti-intersection (read: "the anti-intersection of A and B").

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cnin	class (A ⩃ B)

See definition df-nin 3212 for more information.