「Powerset」を含む日記

■http://anond.hatelabo.jp/20140726121013

IEEE754のようなjoinやmeetのない構造ではなく、一般的な使われ方のニュアンスとしてはlatticeの方がちょっと近い印象。

たとえば集合{0,1,2,3}のPowersetに包含関係で半順序をつけたときに、

{0,1,2}は{2,3}以上でも{2,3}以下でもない、みたいな。

Permalink | 記事への反応(0) | 12:25

ツイートシェア