logo

Context: proveit.logic.set_theory.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
%context