単射 たんしゃであれば
tanshadeareba

Noun
Da Copula

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

1. If injective; When injective

Ba Conditional
Mathematics