Since U {\displaystyle U} is closed and {Pxn} ⊂ U, y lies in U {\displaystyle U} , i.e. Py = y.
因为 U 是闭合的且 {Pxn} ⊂ U, y 位于 U 中，就是说 Py = y。