Left K‐Completeness in Quasi‐Metric Spaces

Regular left K-sequentially complete quasi-metric spaces are characterized. We deduce that these spaces are complete Aronszajn and that every metrizable space admitting a left K-sequentially complete quasi-metric is completely metrizable. We also characterize quasi-metric spaces having a quasi-metric left K-sequential completion in terms of certain bases of countable order.