かい集合 しゅうごうであれば
kai shūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 開集合

1. if open set; when open set

Ba Conditional
Mathematics