Showing changes from revision #1 to #2: Added | Removed | Changed
For every type TT and subtype S⊆TS \subseteq T, let f:S→Tf:S \to T be a function from the subtype SS to TT. Given any subtype R⊆TR \subseteq T, the infinitely iterated inverse image is defined as the maximal subtype f −∞(R)⊆Tf^{-\infty}(R) \subseteq T such that the inverse image of f −∞(R)f^{-\infty}(R) under ff is equivalent to f −∞(R)f^{-\infty}(R) itself:
smooth inverse function image
iterated inverse image
Revision on June 10, 2022 at 19:21:57 by Anonymous?. See the history of this page for a list of all contributions to it.