数学の順序論の分野において、上向き中心集合 Sは半順序集合Pの部分集合であり、Sの任意の有限部分集合はPに上限を持つ。同様に、下向き中心集合の任意の有限部分集合は下限を持つ。上向き中心集合は無矛盾集合とも呼ばれる。任意の有向集合は必ず中心化され、任意の中心集合は連結集合である。
半順序の部分集合Bは、中心集合の可算な和集合である場合、σ 中心であると言われます。
参考文献
- フレムリン、デイヴィッド・H. (1984).マーティンの公理の帰結. ケンブリッジ数学論文集, 第84号. ケンブリッジ:ケンブリッジ大学出版局. ISBN 0-521-25091-9。
- Davey, BA; Priestley, Hilary A. (2002)、「9.1: 定義」、格子と秩序入門（第2版）、ケンブリッジ大学出版局、p. 201、ISBN 978-0-521-78451-1、Zbl 1002.06001。
