ハイティング代数
としてのハイティング代数における指数対象 は相対擬補元 に他ならない。前述の随伴は