Indeed for Given/Find. But not the same happens when using "solve". Why is that?
Because thats the way the symbolic "solve" is implemented.
They had to find a way to apply "solve" to a system of equations or inequalities and putting them in a matrix is as good as any other way of creating a list they could have come up with.
If "solve" is applied to an equation it will try to solve it. If its applied to a vector or matrix, it will look at every element of that matrix and take it as a constraint which it has to comply with.
