>>892の f:(ΠE_i)※(ΠF_j) → Π(E_i)※(F_j) を標準準同型または標準射と言う。