*Definition [#h2f122ef]
-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 [#mc92b657]
-''Encyclopedia of general topology'', Edited by Klaas Pieter Hart, Jun-iti Nagata and Jerry E. Vaughan. Elsevier Science Publishers, B.V., Amsterdam, 2004.