EDB — 07F

[07F] Prerequisiti:[07C]↺↻,[07D]↺↻,[252]↺↻.

Sia $\mathcal{F}$ una famiglia non vuota di intervalli.

Mostrate che la intersezione $\bigcap _{―}\mathcal{F}$ di tutti gli intervalli è un intervallo.

Supponiamo che l’intersezione $\bigcap _{―}\mathcal{F}$ sia non vuota, mostrate che la unione $\bigcup _{―}\mathcal{F}$ è un intervallo.