Spazio normale: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Alfiobot (discussione | contributi)
m Bot: Sostituzione automatica (-[[Image: +[[Immagine:)
Riga 3:
Per ogni coppia di chiusi disgiunti (''E'', ''F''), esiste una coppia di aperti disgiunti (''U'',''V'') tali che ''U'' contiene ''E'' e ''V'' contiene ''F''.
</div>
[[ImageImmagine:Normal space.png|thumb|right|Ogni coppia di chiusi è contenuta in due aperti disgiunti.]]
Uno '''spazio T4''' è uno spazio normale che è anche [[spazio T1|T1]]. Questa condizione è necessaria affinché l'assioma T4 implichi gli assiomi di separazione precedenti [[spazio T0|T0]], [[spazio T1|T1]], [[spazio T2|T2]] e [[spazio T3|T3]].