Polish space
With respect to either "σ" or "σ"0, "D" is a separable space. Thus, Skorokhod space is a Polish space.