relative pseudo-complement

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

(mathematics) The residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.

日本語の意味

Heyting代数において、meet（∧）演算を単位元とするレジデュエーテッド格子として考えた場合の残余操作を指す。すなわち、bに関するaの相対擬似補元は、z ∧ a ≤ bとなるすべてのzの中での上限である。

英語の意味

(mathematics) The residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.

このボタンはなに？

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 の上限（つまり最大要素）である。

詳細

意味（1）

(mathematics) The residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.

relative pseudo-complements （ plural ）