検索結果- 英語 - 英語
検索内容:
Abelian algebra
commutative algebra
noun
Heyting algebra
noun
(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).
loading!
Loading...