定義介紹最小子布爾代數(minimal Boolean subalgebra)一種特殊的子布爾代數.設，=(B,-},·,',0,1)是布爾代數，S}B,.}必有子代數，其論域包含S(例如居本身就是).對男的一切其論域包含S的子代數作交集，可得，的子代數劣。，稱為其論域包含S的最小子布爾代數.若瀚為男的任一個其論域包含S的子代數，則居。里屠.
