1) An open cover of A is a collection of open sets in the underlying topology whose union includes all of A.
2) An open cover of A is a collection of open balls in the underlying topology whose union includes all of A.
Does one require the axiom of choice to prove that two definitions are equivalent?
2) An open cover of A is a collection of open balls in the underlying topology whose union includes all of A.
Does one require the axiom of choice to prove that two definitions are equivalent?
