そう しゃであれば
sōshadeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 双射

1. If it is a bijection; When it is a bijection

Ba Conditional
Mathematics