べき集合 しゅうごうであれば
beki shūgōdeareba

Noun
Da Copula

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

1. If it were a proper set; If it should be a proper set

Ba Conditional
Mathematics