性质探讨.从分离性可推出：设formula_7分离，对任何formula_8里的态射formula_9，若 formula_10 与 formula_11 在一个稠密开集上相等，则formula_12。准此，可视分离概形为豪斯多夫空间在概形论里的推广。根据定义，分离性仅与拓扑有关：formula_2分离若且唯若formula_14分离。群概形都是分离的（考虑映射formula_15）。此外；仿射概形皆属分离概形。另一个有用的性质是：若formula_4是仿射概形，form