Sla_sh писал(а):
я не совсем понимаю что такое счетные объединения/пересечения
Собственно говоря, конечные объединения и пересечения - это объединения и пересечения конечного набора множеств (

и

), а счётные - бесконечной последовательности множеств (

и

).
Narn писал(а):
Пример: возьмите все конечные подмножества

и все их дополнения (коконечные множества). Получите кольцо, но не сигма-кольцо.
Если все

конечны, то

также будет конечным и принадлежит кольцу, в то время как

вполне может оказаться счётным и нашему кольцу принадлежать не будет.
Разумеется,

-кольцо является кольцом. И, разумеется, кольцо может иногда оказаться

-кольцом.