ピーター・アクゼル
フレーゲ構造の体系において、(構成的)集合は、スコットのクラス抽象をλ式で表現することに倣って、λ式で表現される。具体的には次のように定義される。
(構成的)集合
命題を返す関数 f のλ抽象 λx. f(x)
集合の内包表記 {x | e[x] }
命題を返す関数が<e[x]|x>で表されるとき、その集合(λ抽象) λx . <e[x]|x> を特に {x | e[x]} と表す。