EDB — 1WC

[1WC] Spiegate la formula \(⋃_{B∈{\mathcal P}(A)} B\) avendo a disposizione la definizione [1Y2]↺↻ dell’assioma dell’unione. Poi mostrate che \(A=⋃_{B∈{\mathcal P}(A)} B\).

Si veda anche [028]↺↻ dove lo stesso risultato si ottiene partendo dall’assioma dell’unione come definito in [026]↺↻ nell’assiomatica di Zermelo–Fraenkel.