Informasi yang berkaitan dengan ja/完備距離化可能空間