I have a hard time understanding the notation.

That said, I take to be the distance from the point to the set .

It is worth noting that if a set is closed if and only if .

In this case the sets are a countable collection of open sets.

So yes, you are on the right tract.