部分の記法

$\forall v_3\,(\,(v_3\in v_1)\to (v_3\in v_2)\,)$ を $v_1\subseteq v_2$ と書く。