像 (数学)
既に用いた部分集合の像や逆像に関する慣習的な記法はしばしば混乱を生ずる可能性を持つ。これを明示的に代替する表記として、冪集合間の写像としての像や原像に対しては、以下のような表記が提案されている:
f ⋆ : P ( X ) → P ( Y ) ( = f → ) . {\displaystyle f_{\star }\colon {\mathfrak {P}}(X)\to {\mathfrak {P}}(Y)\quad (=f^{\to }).}
f ⋆ : P ( Y ) → P ( X ) ( = f ← ) . {\displaystyle f^{\star }\colon {\mathfrak {P}}(Y)\to {\mathfrak {P}}(X)\quad (=f^{\gets }).}