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.