領域 りょういき集合 しゅうごうであれば
ryōikishūgōdeareba

Noun
Da Copula

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

1. If/When it is a domain set; Provided it is a domain set

Ba Conditional
Computing