logo

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

All axioms contained within this theory