# Theory of proveit.logic.sets.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
%theory


### Local content of this theory

common expressions axioms theorems demonstrations