Сильная антицепь
- В теории порядка подмножество A частично упорядоченного множества P является сильной нисходящей антицепью, если никакие два различных элемента не имеют общей нижней границы.
- Если P упорядочено по включению и замкнуто по подмножествам, но не содержит пустого множества, это просто семейство попарно непересекающихся множеств.
- Сильная восходящая антицепь B — это подмножество P, в котором никакие два различных элемента не имеют общей верхней границы в P.
- Нет единого мнения относительно того, какая версия называется сильной антицепью.
- В контексте форсирования авторы иногда также опускают термин «сильный» и просто ссылаются на антицепи.
- Решетки имеют только тривиальные сильные антицепи (т.е. сильные антицепи мощностью не более 1).
Полный текст статьи: