へい集合 しゅうごうであれば
hēshūgōdeareba

Noun
Da Copula

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

1. if/when closed; if/when it is closed

Ba Conditional
Mathematics