Es sei K ( X ) {\displaystyle {}{\mathbb {K} }(X)} die Menge der rationalen Funktionen über K {\displaystyle {}{\mathbb {K} }} . Dann gelten folgende Eigenschaften.