Strict ⊤-embeddings

Abstract

The concept of a ⊤-limit space has recently been introduced and studied. It resembles the top level space of a lattice-valued convergence space. In this context, the notion of a strict T ₃-embedding is defined. For a given ⊤-limit space, a connection is made between its strict T ₃-compactifications and the set of all totally bounded ⊤- Cauchy spaces which induce the fixed ⊤-limit space and posses a strict T ₃-completion.