Definition
- For arbitrary subsets A and B of a topological space X, we say that A is relatively compact in B if for every open cover of B, there exist finitely many elements in the cover that cover A.
Reference
- Escardo, Martín , Lawson, Jimmie and Simpson, Alex, Comparing Cartesian closed categories of (core) compactly generated spaces.[J] Topology Appl. 143, No. 1-3, 105-145 (2004).