Boolean algebra
In mathematics, a free Boolean algebra is a Boolean algebra with a distinguished set of elements, called generators, such that: