ぜん単射 たんしゃであれば
zentanshadeareba

Noun
Da Copula

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

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

Ba Conditional
Mathematics