Zu einem Ringhomomorphismus ${\displaystyle {}\varphi \colon R\rightarrow S}$ zwischen kommutativen Ringen und einem Primideal ${\displaystyle {}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}}$ nennt man ${\displaystyle {}(S/{\mathfrak {q}}S)_{\varphi (R\setminus {\mathfrak {q}})}}$ den Faserring über ${\displaystyle {}{\mathfrak {q}}}$.