宣言 せんげん部分 ぶぶん集合 しゅうごうであれば
sengembubunshūgōdeareba

Noun
Da Copula

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

1. If the declaration subset exists; When the declaration subset exists

Ba Conditional
Computing