>>533
f(x)→bじゃなくて∀x∃yで量化されたyのy→bよ
今は選択関数の極限として理解してるが結構意味が推測しづらい表現だと思うんだ