Центрированный набор
В математике в области теории порядка, с центром вверх множество S это подмножество P частично упорядоченного множества , , такое, что любое конечное подмножество S имеет верхнюю границу в P. — Аналогично, любое конечное подмножество множества с центром вниз имеет нижнюю границу. Множество с центром вверх можно также назвать непротиворечивым множеством . Любое направленное множество обязательно центрировано, а любое центрированное множество является связанным множеством .
Подмножество B частичного порядка называется σ-центрированным, если оно представляет собой счетное объединение центрированных множеств.
Ссылки
[ редактировать ]- Фремлин, Дэвид Х. (1984). Следствия аксиомы Мартина . Кембриджские трактаты по математике, вып. 84. Кембридж: Издательство Кембриджского университета . ISBN 0-521-25091-9 .
- Дэйви, бакалавр; Пристли, Хилари А. (2002), «9.1: Определения» , «Введение в решетки и порядок» (2-е изд.), Cambridge University Press , стр. 201, ISBN 978-0-521-78451-1 , Збл 1002.06001 .
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |