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