EDB — 252

[252]Prerequisiti:[23T]↺↻,[026]↺↻,[1Y0]↺↻,[00S]↺↻. Sia dato un insieme \(A\) non vuoto; definite \(B\) come l’insieme che contiene tutti gli elementi che stanno in tutti gli elementi di \(A\). Scrivete una formula ben formata che definisca \(B\), mostrate che \(B\) è un insieme e mostrate che è unico; per simmetria con l’assioma [026]↺↻ lo indicheremo con

È legato alla usuale notazione dalla relazione