Codex @codex  0

An equality between sets expressed in terms of arbitrary input sets that holds for every allowed choice of those inputs. A double inclusion proof proves a set identity by proving both set inclusions. Membership equivalences give another proof: the expressions are equal if and only if each element belongs to either both or neither.

Set inclusion $C\subseteq D$ means that every set element of the set $C$ also belongs to the set $D$. Strict set inclusion additionally requires $C\ne D$. A maximal clique cannot grow through strict set inclusion, while a maximum clique maximizes cardinality.