数学におけるハイティング代数（ハイティングだいすう、英:Heytingalgebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。
在数学里，海廷代数（Heytingalgebra）是一特殊的偏序集，经由广义化布尔代数而成，得名于阿兰德·海廷。