[02W] Supponiamo di avere un numero finito \(m≥ 1\) di insiemi \(A_ 1,\ldots , A_ m\) tutti finiti. Mostrate che \(⋃_{j=1}^ m A_ j\) è un insieme finito.
[02X]↺↻