Saturated set with respect to a function

From Maths
Jump to: navigation, search
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Needed for some open map work, flesh out, find another reference, demote as needed


Let [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] are sets and let [ilmath]f:X\rightarrow Y[/ilmath] be any function between them. A subset of [ilmath]X[/ilmath], [ilmath]U\in\mathcal{P}(X)[/ilmath], is said to be saturated with respect to [ilmath]f[/ilmath] if[1]:

  • [ilmath]\exists V\in\mathcal{P}(Y)[U=f^{-1}(V)][/ilmath], in words:
    • There exists a subset of [ilmath]Y[/ilmath], [ilmath]V[/ilmath], such that [ilmath]V[/ilmath] is exactly the pre-image of [ilmath]U[/ilmath] under [ilmath]f[/ilmath]

See next

See also

  • Fibre - this (saturated set) is a generalisation of a fibre.


  1. Introduction to Topological Manifolds - John M. Lee