On August 1, V. Kanovei wrote: >Generally, by van den Berg, a galaxy is a countable >union of internal sets (a halo a countable intersection). The quite different definition I gave in a previous post is from Robinson's monograph NONSTANDARD ANALYSIS in the chapter on metric spaces. Alas, I'm ignorant of van den Berg's work. Martin