恒等 こうとう写像 しゃぞうだったら
kō tōshazo udattara

Noun
Da Copula

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

1. if/when identity mapping

Tara Conditional
Mathematics