There are similar questions here and here asking about a "formal definition of a variable", but the "dependent" makes this unique. If you search the web for "dependent variable" you get hit with things saying,
"In the case $y=f(x)$, $y$ is the dependent variable, $f$ is the function, and $x$ is the independent variable."
Can we formally call $y$ a variable?
I realize this question is digging in the weeds and people often understand what is meant in context. However, formally, is it wrong to call $y$ a variable?
EDIT
I found an old chat session I had. Granted I was asking about functions, the response I got applies here. I think it helps support my curiosity
People who write "y = f(x)" are typically not doing rigorous mathematics. It is unfortunate that historically people started adopting a convention where a relationship between varying quantities in a physical setting is depicted with x being a so-called independent variable (more like a manipulated variable) and y being a dependent variable (more like an observed variable), and if a functional relation is suspected then people would write y = f(x). But that was done long before mathematical functions were made rigorous. Sadly, old habits die hard. The correct way to express such things in modern mathematics is as follows. Suppose you have a function f : R→R. Then you can plot the graph of f in the plane by plotting the set of points { (x,y) : y = f(x) }. The graph of f is not f itself, but merely one way to represent f. We can call this graph the graph of f(x) against x, or the graph of y against x where y = f(x). Either phrasing would be completely unambiguous and rigorous, and correspond to the definition of "graph" as given above.
Furthermore, when you do write $y=f(x)$ in the sense that $y$ is a function, this is just shorthand for talking about the function $f$ in a notationally convenient way. It's no more or less rigorous than other kinds of common "abuse of notation".
– Jair Taylor Jul 23 '21 at 06:04