Assertion: dimensional space | /r/HasProperty | euclideanℝ7
Facets:
Source sentences:
text: This is the set of all points in seven-dimensional space (Euclidean) ℝ7 that are a fixed distance from the origin.