Assertion list for term "the set of points".

Results from Ascent++: 1
sphere DefinedAsthe set of points 0.32