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