制約 せいやく集合 しゅうごうであれば
seiyakushūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 制約集合

1. If the constraint set; When the constraint set

Ba Conditional
Computing