Syntax Definition cdif 3206

Description: Extend class notation to include class difference (read: "A minus B").

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cdif	class (A ∖ B)

See definition df-dif 3215 for more information.