introduce a condition for when bases are equivalent. prove that the open balls of a metric space are a basis for the metric topology