NẾU CÁC TẬP D, E LÀ TẬP COMPACT VÀ D ∩ E = ∅ THÌ D(D, E) > 0

3. Nếu các tập D, E là tập compact và D ∩ E = ∅ thì d(D, E) > 0