Компактное множество.

[olenellus]

main.c в сообщении #666410 писал(а):

Вы видимо меня не поняли

main.c в сообщении #666387 писал(а):

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

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