圏論的に見る像，逆像にかかる包含関係

　像，逆像にかかる包含関係は，例えば

$$
f \left(\bigcup_{i\in I} U_i\right)=\bigcup_{i\in I}f(U_i),\\
f\left(\bigcap_{i\in I} U_i\right)\subseteq\bigcap_{i\in I}f(U_i),\\
f^{-1}\left(\bigcup_{i\in I} V_i\right)=\bigcu