無限 むげん集合 しゅうごうであれば
mugenshūgōdeareba

Noun
Da Copula

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

1. if infinite set; when infinite set

Ba Conditional