最終更新日
：2025/11/28
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の中での上限である。
意味（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.
（ plural ）
復習用の問題
(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-complement
In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
正解を見る
In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
音声機能が動作しない場合はこちらをご確認ください
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
