logo

Context: proveit.logic.set_theory.membership

Sets are defined by their membership. Elements may be in a set, $x \in S$, or not in a set, $y \notin S$.

In [1]:
import proveit
%context