元となった辞書の項目
locale
IPA（発音記号）
意味（2）
意味（3）
(mathematics)
A
partially
ordered
set
with
the
following
additional
axiomatic
properties:
any
finite
subset
of
it
has
a
meet,
any
arbitrary
subset
of
it
has
a
join,
and
distributivity,
which
states
that
a
binary
meet
distributes
with
respect
to
an
arbitrary
join.
(Note:
locales
are
just
like
frames
except
that
the
category
of
locales
is
opposite
to
the
category
of
frames.)
（ plural ）
