数学基礎論・数理論理学　その19

>>611
xから定義される何らかのクラスの意味だけど？
気になるなら
[x]={x}×V={(x,y)|y∈V}
でも
[x]={x}^ON={f:y→{x}|y∈ON}
でもいい