ぜん集合 しゅうごうであれば
zen shūgōdeareba

Noun
Da Copula

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

1. If the entire set; When the entire set

Ba Conditional
Computing