# Theory of proveit.logic.sets.subtraction¶

Subtraction is an operation for building a set that includes elements of one set except those that are members of some other set. For example, $A - B$ is the set that includes all members of $A$ except those that are members of $B$ and no other members.

In [1]:
import proveit
%theory


### Local content of this theory

common expressions axioms theorems demonstrations