logo

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