Can you summarize the following document?
        
  設formula_1為概形。一個態射formula_2被稱作分離態射,當且僅當它所給出的對角對映formula_3是閉浸入。  由此可定義formula_4上的分離概形。若取formula_4為終物件formula_6,可定義絕對的分離概形。

  從分離性可推出:設formula_7分離,對任何formula_8裡的態射formula_9,若 formula_10 與 formula_11 在一個稠密開集上相等,則formula_12。准此,可視分離概形為豪斯多夫空間在概形論裡的推廣。  根據定義,分離性僅與拓撲有關:formula_2分離當且僅當formula_14分離。群概形都是分離的(考慮對映formula_15)。此外;仿射概形皆屬分離概形。  另一個有用的性質是:若formula_4是仿射概形,formula_17是formula_4上的分離概形,且formula_19是仿射開集,則formula_20亦是仿射開集。  下述常見態射都是分離的:  於是乎擬射影態射都是分離的,這涵蓋了經典代數幾何裡的所有物件。但在概形論中,我們可透過黏合造出非分離概形;研究函子的可表性時(特別是模空間的研究)亦須仔細處理分離性。

  分離性與豪斯多夫性質的類比給出另一種刻劃。設所論概形都是區域性諾特概形。僅須處理formula_25是一維時的情形,透過一些代數的論證,可化約到formula_26,其中formula_27是個離散賦值環之情形;此時態射的唯一延拓性譯為下述陳述:
在數學中,分離態射是概形間一類具良好幾何性質的態射,由此可定義分離概形。在亞歷山大·格羅滕迪克的著作中,原將一般的概形稱作預概形(préschéma),而將分離概形稱作概形;1967年左右改稱現名。