Ontify
Equivalence relation on a manifold, the equivalence classes being injectively immersed connected submanifolds, modeled on decomposition of ℝⁿ into 𝑥+ℝᵖ.