Boolesche Algebra, eine wesentlich allgemeinere Form der Algebra, in der es zwei »gleichberechtigte« Verknüpfungen und entsprechende Gesetze gibt. Eine Boolesche Algebra bildet z.B. die Menge der Teilmengen einer Menge bezüglich der Verknüpfungen »Durchschnitt« und »Vereinigung«. Sie bildet die mathematische Basis von digitalen Rechen- und Steuerschaltungen.