Syntax Definition cdif 2908

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