Вы видимо меня не поняли
что требуется для того что бы доказать, что данное множество есть покрытие другого множества?
Ну если совсем педантично, то для того, чтобы показать, что данное множество есть покрытие другого множества, надо доказать, что другое множество является подмножеством объединения элементов (рассмотренных как множества) первого множества.