Es sei ${\displaystyle {}P\in U\subseteq V}$ ein Punkt einer Varietät und

${\displaystyle f_{1},f_{2}\colon U\longrightarrow K}$

rationale Funktionen auf ${\displaystyle {}V}$, die in einer offenen Umgebung ${\displaystyle {}U}$ von ${\displaystyle {}P}$ definiert seien. Man sagt, dass ${\displaystyle {}f_{1}}$ zu ${\displaystyle {}f_{2}}$ rational rechtsäquivalent ist, wenn es offene Mengen ${\displaystyle {}P\in V_{1}}$ und ${\displaystyle {}P\in V_{2}}$ und einen Isomorphismus

${\displaystyle \varphi \colon V_{1}\longrightarrow V_{2}}$

mit

${\displaystyle {}f_{1}=\varphi \circ f_{2}\,}$

gibt.