コンパクト集合 しゅうごうであれば
kompakutoshūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of コンパクト集合

1. If the set is compact; When the set is compact

Ba Conditional
Mathematics