内包性公理とも言う

置換公理より弱い

写像\varphiで写したものも\{z\in x| \varphi(z)\}も集合になるよという主張

公理

\exist y\forall z[z\in y\iff [z\in x\land \varphi(z)]]

集合xの中で、条件\varphiを満たすものだけを集めた集合yが存在する

このyを\{z\in x|\varphi(z)\}と記述する

図でイメージするのが早い

これ図、合ってるか？

どうやったらfilter感を図で表せられるかがわからん

Haskell風に書けば

この y も集合である、という主張