定義
X を前順序集合(過去スレ008の139)とし、Y を X の部分集合とする。
h：Y → X を包含写像とする。
h が本質的に全射(>>582)のとき Y は X において順序密と言う。
Y は X の順序密な部分集合という。