finite subcover

Dictionnaire