部分 ぶぶん集合 しゅうごうだったら
mabubunshūgōdattara

Noun
Da Copula

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

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

Tara Conditional