恒等 こうとう作用 さよう であれば
kōto usayō sodeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 恒等作用素

1. if it is the identity operator; when it is the identity operator

Ba Conditional
Mathematics