Spherical point set (source code)

= Spherical point set

A finite point set is spherical when it lies on a <sphere>. Every <Euclidean Ramsey set> is spherical. Whether every finite spherical point set is Euclidean Ramsey is open.