Assertion: valve's component | /r/HasAspect | fixed dimension
Facets:
Source sentences:
text: Since dimension is a local invariant (i.e. the map sending each point to the dimension of its neighbourhood over which a chart is defined, is locally constant), each connected component has a fixed dimension.