The general concept of cleavability of a topological space (Q1203813)

If \(\mathcal P\) is a class of topological spaces and \(\mathcal M\) a class of (continuous) mappings, then a space \(X\) is said to be \({\mathcal M}\)- cleavable over \(\mathcal P\) if for every \(A\subset X\) there exist \(Y\in{\mathcal P}\) and \(f\in{\mathcal M}\), \(f: X\to Y\), such that \(f(X)= Y\) and \(f^{-1} f(A)= A\). The main result: If a Hausdorff countably compact space \(X\) is cleavable over the class \(\mathcal P\) of all sequential Hausdorff spaces (compact sequential spaces), then \(X\) is also in \(\mathcal P\) (Theorems 23 and 38).