define angles and stuff
define metric spaces, epislon-nets, prove sequential characterization of totally bounded subsets, relate isolated points and accumulation points