Definition
3
[2B4] Given a net \(x:J\to Y\), a point \(z∈ Y\) is said to be a limit point for \(x\) if there is a subnet \(y:H\to Y\) such that \(\lim _{j\in H} y(j)=z\).
(Note that “subnet” is intended in the general sense presented at the end of [230], where \(y=x\circ i\) by means of a map \(i:H\to J\) satisfying [(7.iv.7)]).