はん順序 じゅんじょ集合 しゅうごうであれば
hanjunjoshūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 半順序集合

1. if it is a partially ordered set; when it is a partially ordered set

Ba Conditional
Mathematics