亦须仔细处理分离性。
赋值判准.分离性与豪斯多夫性质的类比给出另一种刻划。设所论概形都是局部诺特概形。仅须处理formula_25是一维时的情形，透过一些代数的论证，可化约到formula_26，其中formula_27是个离散赋值环之情形；此时态射的唯一延拓性译为下述陈述：