Refinable maps
Let S(X) denote the set of all closed subsets of a topological space X, and C(X) the set of all continuous mappings f:X → X. A family 𝓐 ⊆ S(X) is called reflexive if there exists ℱ ⊆ C(X) such that 𝓐 = {A ∈ S(X): f(A) ⊆ A for every f ∈ ℱ}. We investigate conditions ensuring that a family of closed subsets is reflexive.