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.