Category:Properties of metric spaces