定義
X と Y を前順序集合(過去スレ008の139)とする。
f：X → Y を埋め込み(>558)とする。
任意の y に対して A ⊂ X で y = sup A となるものがあるとき f を結び密(join-dense)と言う。
任意の y に対して B ⊂ X で y = inf B となるものがあるとき f を交わり密(meet-dense)と言う。

X が Y の部分前順序集合で f が結び密な包含写像のとき X は Y において結び密であると言う。
X が Y の部分前順序集合で f が交わり密な包含写像のとき X は Y において交わり密であると言う。