Syntax Definition cdif 3207

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 3216 for more information.