Malfermaĵo: Malsamoj inter versioj

91 bitokojn aldonis ,  antaŭ 1 jaro
sen resumo de redaktoj
de tiuj malfermitaj aroj, kiuj estas subaroj de <math>S</math>. Ĉi tiu estas [[parte ordita aro]] laŭ la rilato de subareco. Ĝi havas unikan [[maksimuma elemento|maksimumon]], ĉar la [[kunigaĵo]] de arbitra familio de malfermitaj aroj estas malfermita; ĉi tiu maksimumo estas la '''malfermaĵo''' <math>S^\circ</math> de <math>S</math>. Pli konkrete, ĝi estas la [[kunigaĵo]] de ĉiuj tiuj malfermitaj aroj, kiuj estas subaroj de <math>S</math>
:<math>S^\circ = \bigcup \{U\in\mathcal T(X)\colon U\subseteq S\}</math>.
'''Interna punkto''' de <math>S</math> estas elemento de la malfermaĵo de <math>S</math>.
 
== Ekzemploj ==