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