Úplný metrický prostor – Další jazyky