[開設 07/31/23=MM/DD/YY]
文脈表から概念を求める
例 3（命題 2 (ii) の適用例）
ハンドアウト例 1 の文脈表を例にとる（例 3）．
上図のように，
×の書かれたセルからなる極大な長方形（直積集合）を求める．
上図の 4 つの長方形（直積集合）から 4 つの概念が得られる．
直積集合
A×B
|
概念
(A,B)
|
|
{1,2}×{a,c}
|
({1,2}, {a,c})
|
|
{3}×{b,c}
|
({3}, {b,c})
|
|
{1,2,3}×{c}
|
({1,2,3}, {c})
|
|
{4}×{d}
|
({4}, {d})
|
また，
ハンドアウト 2 ページ下部にも書いたように，
(G, G ′)
と (M ′, M)
も概念であり，
上図の場合，
(G, G ′ )
=
({1,2,3,4,}, ∅),
(M ′, M)
=
(∅, {a, b, c, d, e})
である．
これで すべての概念が求まった．
注： G ′≠∅ のとき，
(G, G ′)
は文脈表から×の書かれたセルからなる，
縦の辺が G である極大長方形として得られる．
同様に，
M ′≠∅ のとき，
(M ′, M)
は文脈表から×の書かれたセルからなる，
横の辺が M である極大長方形として得られる．
離散構造（室伏）のホーム
