初期 しょき連結 れんけつ集合 しゅうごうであれば
shokirenketsushūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 初期連結集合

1. If the initial linked set…; When the initial linked set…

Ba Conditional
Computing