Cauchy sequences in quasi-pseudo-metric spaces
completeness in quasi-pseudo-metric spaces
Cantor's characterization of completeness
scientific article; zbMATH DE number 3740361