偏序集稠密嵌入(dense embedding of partiallyordered sets)一種映射.指一個偏序集到另一個偏序集的映射.設(P}CP>>CC2}}R>為偏序集，2為屍到Q的一個映射，若2滿足:
1.對任何p}p'EP，若p} }Pp，且i(p')錢Qi(p);
2.對任何pmp2EP，若p，與p:在P中不相谷，且}(p})與iCpz)在Q中不相容;
3. P在2下的象集是Q的稠密子集;
則稱2為屍到Q的稠密嵌人.
稠密嵌人一定為完備嵌人，但反過來不成立.稠密嵌人有下列重要的力迫性質:
1.若P到Q存在稠密嵌人，則P與Q有相同的兼納擴充.
2.若i為P到Q的稠密嵌人，中為任意公式則P片中，若且唯若i (P右吸
