In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
ハイティング代数において、相対擬補元 a → b は、z ∧ a ≤ b を満たすすべての z の上限（つまり最大要素）である。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
