d'après Givant et Halmos 2009, p. 10, caractérisation due « essentiellement » à E. V. Huntington(en), dans Sets of independent postulates for the algebra of logic, Transactions of the American Mathematical Society, vol. 5 (1904), p. 288–309 ; Huntington en a donné plusieurs autres.