"x" を既約かつ被約で分離的な正規ネータースキームとする(分離的な代数多様体は既約かつ被約なネーター的スキームであるから、正規で分離的代数多様体を考えていると思って差し支えない)。