一个设置 属于线性延伸的部分有序集合 是实现（据说是意识到)但前提是, 若（iff） 低于在的每个成员中.
更多尝试：
埃里克·W·韦斯坦。“Realizer”来源数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Realizer.html
