Revision #2125 → #2824 · back to history
addedBoolean algebra is a special case of De Morgan / Kleene algebraa67a8d58902d
addedFréchet filter is a free ultrafilter on the finite–cofinite algebraa2aa64468941
addedCategory of Boolean algebras as subcategory of lattices6bb080363cfb
addedOrder-ideal coincides with ring-ideal in Boolean rings64c3708c2834
addedFinite Boolean algebras have cardinality a power of twoaaccb04244f4