ハイティング代数
ハイティング代数は有界束の一種として定義される。なお束である（すなわち順序集合である）にも関わらず空間的完備ハイティング「代数」という名称なのは "a"∨"b" := sup("a", "b"), "a"∧"b" := inf("a", "b") をそれぞれ乗算と加算とみなす事で束を代数だとみなせるからである。