Suppose \(X\) and \(Y\) are sets and \(q\colon X\to Y\) is a map. A subset \(U\subseteq X\) is called saturated with respect to \(q\) if and only if a subset \(V\subseteq Y\) exists sucht that \(U=q^{-1}(V)\).
Suppose \(X\) and \(Y\) are sets and \(q\colon X\to Y\) is a map. A subset \(U\subseteq X\) is called saturated with respect to \(q\) if and only if a subset \(V\subseteq Y\) exists sucht that \(U=q^{-1}(V)\).