define diameter, prove that cauchy sequences are cauchy in superspaces and every subspace where they are welldefined