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$.

import proveit
%theory

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

All axioms contained within this theory

proveit.logic.sets.membership.not_in_set_def