既約 きやく表現 ひょうげんであれば
kiyakuhyōgendeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 既約表現

1. If the irreducible representation exists; When the irreducible representation exists

Ba Conditional
Mathematics