∀v1 ∃v2 ∀v3 ( (v3∈v2)↔(v3=v1) )\forall v_1\,\exists v_2\,\forall v_3\,\left(\,(v_3\in v_2)\leftrightarrow (v_3=v_1)\,\right)∀v1∃v2∀v3((v3∈v2)↔(v3=v1)) の v2v_2v2 を { v1 }\{\,v_1\,\}{v1} と書く。