Solution (source code)

= Solution

Condition (i) implies (ii) immediately by taking the open set $U=X$.