直積 ちょくせき集合 しゅうごうであれば
chokusekishūgōdeareba

Noun
Da Copula

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

1. if/when direct product set; if it is a direct product set

Ba Conditional
Mathematics