Definition
- Let T be a topological space and S be a subset of T. We say that S is net-compact in T if S satisfies one of the following equivalent properties
- Each net on S has a subnet converging to some point in T.
- Each open cover of T has a finite subfamily covering S.
Remark
- Equivalent to relatively compact?.
Reference
- Comman, Henri,Capacities on C*-algebras. (English) [J] Infin. Dimens. Anal. Quantum Probab. Relat. Top. 6, No. 3, 373-388 (2003).