ハイティング代数の擬補元(pseudo-complement):

ハイティング代数とは、ある種の論理を数学的に扱うための道具です。特に、古典論理とは異なり、排中律が必ずしも成り立たないような論理を表現できます。相対擬補元は、このハイティング代数において重要な概念の一つです。直感的には、「ある命題が別の命題をどれだけ含意するか」を表すものです。

束: 集合論における重要な概念で、要素間に大小関係が定義されたものです。ハイティング代数は、この束の構造を持ちます。

相対擬補元 (x ⇒ y): ハイティング代数の要素xとyに対して、xがyを含意する度合いを表す要素です。つまり、xが真であれば必ずyも真となるような、最大の要素と言えます。