有限ゆうげん集合しゅうごうであれば
yūgen shūgōdeareba

Noun
Da Copula

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

1. If/when a finite set; Provided it is a finite set

Ba Conditional
Mathematics