「~=0の方程式を満たすとき」じゃないの?
式を満たすときの意味が分からん