Сильная антицепь

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

Полный текст статьи:

Сильная антицепь — Википедия