För vissa omskrivningar av kan det verka som att ändras så att fler eller färre x-värden blir tillåtna. Detta är oftast inte något man behöver tänka på, men det finns vissa fall där lösningar man har hittat egentligen är ogiltiga på grund av att de inte ingår i definitionsmängden.
Antag att man har följande rationella uttryck:
R(x)=x(x+1)2x.
Om inget annat är angivet är definitionsmängden för uttrycket alla
x som man kan sätta in.
R(x) är då för
x=0 och
x=−1 eftersom dessa värden leder till . Om man nu förenklar
R(x) genom att förkorta bort
x får man
R(x)=x(x+1)2x=x+12.
Det kan verka som att det förenklade uttrycket har en annan definitionsmängd än det ursprungliga uttrycket eftersom det nu bara är
x=−1 som ger nolldivision, men så är det inte. För att kunna göra förenklingen måste man ju dela med
x, och då får
x inte vara lika med noll. Det innebär att
x=0 är odefinierat även för det förenklade uttrycket. Om man däremot börjar med ett nytt uttryck,
G(x)=x+12,
så är det bara odefinierat för
x=−1 eftersom det aldrig har förenklats och man har inte dividerat med
x. Det innebär att det inte är helt korrekt att skriva att
R(x) är lika med
G(x) eftersom en likhet förutsätter att både funktionsuttrycket och definitionsmängden är likadan. Eftersom det är ganska jobbigt att skriva ut definitionsmängder hela tiden brukar man låta den vara underförstådd. Står det exempelvis
R(x)=G(x)
är det underförstått att
x=0 och
x=−1 är odefinierade både för
R(x) och
G(x). Definitionsmängden för uttrycken är alltså den som enbart täcker alla definierade värden både i vänster- och högerledet.
När man skriver om divisioner av rationella tal sker det egentligen ingen förkortning, men det är fortfarande möjligt att "tappa bort" odefinierade värden på det sätt som beskrivs ovan. Uttrycket
x−3x+1/x+7x−9
är odefinierat för
x=3, x=−7 och
x=9, alltså när nämnaren till det vänstra bråket blir
0, när nämnaren till det högra bråket blir
0 och när nämnaren för hela bråket blir
0. Detta uttryck kan med hjälp av regeln för skrivas om som
(x−3)(x−9)(x+1)(x+7).
Skulle man bara titta på det här uttrycket så ser det ut som att det bara är odefinierat för
x=3 och
x=9 eftersom
x+7 har flyttats upp i täljaren, men sätter man en likhet mellan det och det tidigare uttrycket är det även odefinierat för
x=−7. Anledningen till detta är att när man använder regeln för division av bråk multiplicerar man egentligen uttrycket med
1=x−9x+7/x−9x+7,
och förenklar det sedan. Bråket man multiplicerar med är dock odefinierat för
x=−7 eftersom nämnaren blir
0 för det
x-värdet, så förenklingen går bara att göra om
x inte är lika med
−7, vilket innebär att det måste vara odefinierat även för det förenklade uttrycket.