Quizzes for review
In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
See correct answer
In a Heyting algebra, the relative pseudo-complement of a with respect to b is the largest element z such that z ∧ a ≤ b.
音声機能が動作しない場合はこちらをご確認ください
Related words
relative pseudo-complement
Noun
(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.
Japanese Meaning
Heyting代数において、meet（∧）演算を単位元とするレジデュエーテッド格子として考えた場合の残余操作を指す。すなわち、bに関するaの相対擬似補元は、z ∧ a ≤ bとなるすべてのzの中での上限である。
Related Words
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
