Аннотация:
В работе дана общая теорема о накрытии множеств и показано, что она имеет место для $A$-операции над $CA_2$-множествами и, в духе непротиворечивости в системе аксиом теории множеств $\sum$ Гёделя, над $CA_n$-множествами для случаев точек $p$-значности, конечнозначности, счетнозначности, точек, определяемых множеством цепей базы $A$-операции с компактным замыканием, точек, определяемых рассеянным множеством цепей ограниченного индекса, точек, определяемых рассеянным семейством множеств цепей с компактным замыканием ограниченного индекса.