いち たい いち写像 しゃぞうであれば
ichitaiichi nosha zōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 一対一の写像

1. If it is a one-to-one correspondence.; If it’s a bijective function.

Ba Conditional