Assertion: cone | /r/CapableOf | embed space
Facets:
value: precisely
type: MANNER
Source sentences:
text: The cone is used in algebraic topology precisely because it embeds a space as a subspace of a contractible space.