Syntax Definition cdif 2034

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

Copyright terms: Public domain