Definition
- A topological space A is called K-analytic (resp. countably determined) if it is the image of a Polish space (resp. a separable metrisable space) under a compact valued upper semi-continuous map.
Reference
- Encyclopedia of general topology, Edited by Klaas Pieter Hart, Jun-iti Nagata and Jerry E. Vaughan. Elsevier Science Publishers, B.V., Amsterdam, 2004.