# Theory of proveit.logic.sets.unification¶

Unification is an operation for building a set that includes all elements of some number of sets. For example, $A \cup B \cup C$ is the set that includes all members of $A$, $B$, $C$, and no other members.

In [1]:
import proveit
%theory


### Local content of this theory

common expressions axioms theorems demonstrations