Assertion: euclidean space | /r/HasProperty | additional condition
Facets:
Source sentences:
text: Now, the conditions in the list are what you likely known (perhaps without the complex 'decorations') the conditions for a Euclidean space where there is the additional condition that the dimension is finite.