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

Noun
Da Copula

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

1. If the solution set; When the solution set

Ba Conditional
Mathematics