Principal open subscheme (source code)

= Principal open subscheme
{title2=$D(f)$}

= Principal open subset
{synonym}

For $f\in A$, the principal open subset $D(f)=\{\mathfrak p:f\notin\mathfrak p\}$ of $\operatorname{Spec}A$ is the <affine scheme> $\operatorname{Spec}A_f$.