Structures · Geometry
ClosedUnderRestriction
A groupoid is closed under restriction if it contains all restrictions of its element local homeomorphisms to open subsets of the source.
- Shape
- One type argument · adds closedUnderRestriction
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by16
- closedUnderRestriction'
- OpenPartialHomeomorph.isLocalStructomorphWithinAt_iff'
- restr_mem_maximalAtlas
- OpenPartialHomeomorph.isLocalStructomorphWithinAt_iff
- StructureGroupoid.trans_restricted
- ClosedUnderRestriction.closedUnderRestriction
- StructureGroupoid.subtypeRestr_mem_maximalAtlas
- OpenPartialHomeomorph.singleton_hasGroupoid
- StructureGroupoid.isLocalStructomorphWithinAt_localInvariantProp
- StructureGroupoid.HasGroupoid.comp
- Topology.IsOpenEmbedding.singleton_hasGroupoid
- StructureGroupoid.restr_mem_of_eqOn
- OpenPartialHomeomorph.toStructomorph
- TopologicalSpace.Opens.instHasGroupoid
- StructureGroupoid.restriction_mem_maximalAtlas_subtype
- OpenPartialHomeomorph.isLocalStructomorphWithinAt_source_iff
Ancestors0
No ancestors.