ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
pseudo-complement
名詞
(mathematics) The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the "zero" of that algebra.
日本語の意味
(数学)ハイティング代数において、ある要素に対し、その代数の最小元(零元素)に関して定義される相対的な擬似補体。
英語の意味
(mathematics) The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the "zero" of that algebra.
関連語
pseudo-complements
relative pseudo-complement
名詞
(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.
関連語