排中 はいちゅう原理 げんりであれば
haichūgenrideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 排中原理

1. If the principle of mutual exclusion...; If mutual exclusion holds...

Ba Conditional