恒等 こうとう写像 しゃぞうであれば
kō tōshazōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 恒等写像

1. if it is the identity mapping; if it’s an identity mapping

Ba Conditional
Mathematics