A D1106: Topological space $T = (X, \mathcal{T})$ is a Polish topological space if and only if

(1)	$T$ is a D2298: Completely metrisable topological space
(2)	$T$ is a D99: Separable topological space