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

>>613
>{x}^ON={f:y→{x}|y∈ON}
ちょっと違うか
{x}^ONは考えてはいけないものだね
じゃ
ON^{x}={f:{x}→ON}
とか
右辺の
{f:y→{x}|y∈ON}
とか