This lattice is showed in figure Definition 6. Let ( e Lit((p). We define its upward and downward closures as (f={{" e Lit((p) ...
確定! 回上一頁