対の記法

$\forall v_1\,\forall v_2\,\exists v_3\,\forall v_4\,\left(\,(v_4\in v_3)\leftrightarrow\left(\,(v_4=v_1)\lor (v_4=v_2)\,\right)\,\right)$ の $v_3$ を $\{\,v_1,v_2\,\}$ と書く。