solution 헷갈리는 개념이 있어서 질문해요!!

공부하다보면 have/has "a solution" 이라는 말을 종종 보는 것 같은데

"a solution"이라는 말은 해가 오직 하나 뿐인 상황을 말하는걸로 이해해야 하나요?

예를들어 Ax = b has a solution이라면

x가 free variable을 가지는 해가 무수히 많은 상황이라면 위 문장은 틀린 문장인가요?

해가 무수히 많은 경우도 포함하려면 Ax = b has solution sets << 이런식으로 따로 표현해야 하나요?