EDB — 2B6

8.6 Nets[2B6]

We will use the concepts of direct order, filtering order and cofinal set already discussed in Sec. [2FJ]↺↻. In the following \((Y, σ)\) will be a Hausdorff topological space.

The definition of eventually is in [06Y]↺↻, and it means that there exists \(k∈ J\) such that for every \(j≥ k\) you have \(φ(j)∈ V\).

The remark [2B3]↺↻ holds in this case as well.

E22

[0K5]↺↻

E22

[0K6]↺↻

E22

[0K7]↺↻

E22

[2B7]↺↻

E22

[0K8]↺↻