Allerdings wohl kaum so, wie Thilo87 sich das vorstellt.
Ich nehme an, du meinst so etwas wie das Ableiten oder Integrieren einer Gleichung, das viele Physiker manchmal sogar für eine Äquivalenzumformung halten. Man könnte das vielleicht als implizite Umformung bezeichnen, da die Richtigkeit der Ausgangsgleichung unter gewissen Umständen impliziert, dass die umgeformte Gleichung ebenfalls richtig ist. Da man allerdings häufig das Gleichheitszeichen als "gleich bis auf eine additive Konstante" bezeichnet, könnte man die Umformung auch eine beinahe äquivalente Umformung nennen.
So etwas wie du, Thilo, da vorschlägst macht mMn wenig Sinn. Ganz einfach deshalb, weil du in diesem einen Schritt einfach eine große Menge an Informationen über das System verlierst, um mal in diesem Slang zu bleiben.
Aus einer zumindest numerisch lösbaren Gleichung für eine Variable machst du damit eine Ungleichung, die eigentlich zwangsläufig unendlich viele oder keine Lösungen hat.