جبر هیتینگ جبر بولی برابر انگلیک (انگلیسی): Boolean algebra مانه ساختار جبری ⟨B, ∧, ∨, ~ , 0, 1⟩ تشکیل شده از مجموعه‌ی ناتهی B به همراه دو عمل دوتایی ∧ و ∨، عملگر یکتایی ~ و دو عضو خاص 0 و 1 ، یک جبر بولی خوانده می‌شود؛ اگر اصول زیر برای هر سه عنصر a, b, c ∈ B برقرار باشد: دیسه‌ای 𝐵 = ⟨𝐴, ∧, ∨, -, 0, 1⟩𝐵 = ⟨𝐴, ∧, ∨, -, 0, 1⟩ 1.x ≼ x x ≼ x x ≼ xبازتابیaxiom▲ partially ordered set 2.(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑥) ⇒ 𝑥=𝑦 (x ≼ y and y ≼ x) ⇒ x=y (x ≼ y and y ≼ x) ⇒ x=yپادهمامونaxiom▲ partially ordered set 3.(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑧 ) ⇒ 𝑥 ≼ 𝑧 (x ≼ y and y ≼ z ) ⇒ x ≼ z (x ≼ y and y ≼ z ) ⇒ x ≼ zگذراaxiom▲ partially ordered set گسترش‌ها جبر بستاری