部分 ぶぶん集合 しゅうごうであれば
mabubunshūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 真部分集合

1. If it is a proper subset; When it is a proper subset

Ba Conditional