Integres Schema/Integritätsbereich/Fakt

In einem integren Schema ist zu jeder nichtleeren offenen Menge

der Schnittring ein Integritätsbereich.