*Definition [#te3b80ef]
A sequence xn is said to be p-convergent to x if xn is eventually contained in any [[preopen]] neighborhood of x.