What is the domain of negative cosx under y = root?

What is the domain of negative cosx under y = root?

∪【1/2π+2kπ,3/2π+2kπ】,k∈Z
That is, the solution of cosx ≤ 0