Fungsi \(d'\) adalah metrik pada \(A\) karena semua aksioma metrik diwarisi langsung dari \(d\text{.}\) Jadi \((A,d')=(A,d_A)\) merupakan subruang metrik dari \((X,d)\text{.}\)