There is a theorem stating that every metric space embeds isometrically into $\ell _{\infty}$. My question: is there a generalized result for pseudo metric spaces embedding isometrically into semi-normed spaces? Is/would this result be interesting/useful? Thank you very much for taking the time to answer my question.