Assertion: cone's closure | /r/HasProperty | cone
Facets:
Source sentences:
text: A convex cone is said to be proper if its closure, also a cone, contains no subspaces.