Theory of proveit.logic.sets.intersection¶
Intersection is an operation for building a set that includes elements if and only if they are contained in all of some number of sets. For example, $A \cap B \cap C$ is the set that includes the elements that are members of $A$, $B$, and $C$ and no other elements.
In [1]:
import proveit
%theory
