有限 ゆうげん集合 しゅうごうであれば
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