Умова зліченності ланцюгів

У математиці, в області теорії порядку, умова зліченності ланцюгів (Шаблон:Lang-en чи ccc) виконується для частково впорядкованої множини (посета) $P$, якщо в нього всі сильні антиланцюги є зліченними.

У визначенні маються на увазі тільки нижні сильні антиланцюги.

Посети з властивістю ссс використовуються в аксіомі Мартіна, форсінгу та топології.

Приклади

• Сепарабельний простір є ссс.

Див. також

• Двоїстість (теорія порядку)

Джерела

• Шаблон:Биркгоф.Теория решёток