A poset is an FS-domain iff it is a Lawson compact FS-poset.

• 一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;