元となった辞書の項目
Heyting algebra
名詞
(algebra,
order
theory)
A
bounded
lattice,
L,
modified
to
serve
as
a
model
for
a
logical
calculus
by
being
equipped
with
a
binary
operation
called
"implies",
denoted
→
(sometimes
⊃
or
⇒),
defined
such
that
(a→b)∧a
≤
b
and,
moreover,
that
x
=
a→b
is
the
greatest
element
such
that
x∧a
≤
b
(in
the
sense
that
if
c∧a
≤
b
then
c
≤
a→b).
日本語の意味
ヒーティング代数：論理計算のモデルとして利用される有界格子であり、二項演算「含意」（→、または⊃や⇒）を備える。具体的には、(a→b)∧a ≤ bを満たし、さらにx = a→bがx∧a ≤ bとなるような最大の元となるように定義される代数構造。
意味（1）
(algebra,
order
theory)
A
bounded
lattice,
L,
modified
to
serve
as
a
model
for
a
logical
calculus
by
being
equipped
with
a
binary
operation
called
"implies",
denoted
→
(sometimes
⊃
or
⇒),
defined
such
that
(a→b)∧a
≤
b
and,
moreover,
that
x
=
a→b
is
the
greatest
element
such
that
x∧a
≤
b
(in
the
sense
that
if
c∧a
≤
b
then
c
≤
a→b).
（ plural ）
