直和 なおかず集合 しゅうごうであれば
na okazu shūgōdeareba

Noun
Da Copula

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

1. If/when it is a direct sum.; If/when it's a direct sum set.

Ba Conditional
Mathematics