ラティスの半分、セミラティス

集合の包含関係のなす構造

集合が左上の図のようになっている場合、「AはBを包含している」のような包含関係を線で描くと右上の図になる。ツリーだ。

しかし現実には左下の図のBとCのように「どちらかがどちらかを包含しているわけではないが、無関係でもない」という関係が存在する。

これを包含関係で図に描くと右下の図になる。この図ではEの部分でBとCが合流している

これはツリーではない。このような構造をセミラチスと言う。

つまり「包含」と「無関係」は二者択一ではないということ