I don't see that the set in red makes sense at all. A distribution is not necessarily a function, and I do not see how to attach a meaning to the statement "u = 0 on a neighbourhood of x". In fact, a distribution is defined in terms of its action on test functions, so I would take the statement in green as the only sensible definition of the support of u.