EN
Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of $ω^{ω}$ there exists a continuous function $f: ω^{ω} → X$ such that $f^{-1}(C₀) = D₀$ and $f^{-1}(C₁) = D₁$. We give several explicit examples of complete pairs of coanalytic sets.