はん順序 じゅんじょ集合 しゅうごうだったら
hanjunjoshūgōdattara

Noun
Da Copula

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

1. If it is a partially ordered set; When it is a partially ordered set

Tara Conditional
Mathematics