Realizer

偏序集 的一組線性擴充套件 被稱為 的 realizer (或稱實現 )，當且僅當對於所有 ， 當且僅當 小於 在 的每個成員中。