Am I correct that the hyperexponential exp_omega is a bijection on positive infinite surreals?

Am I correct that an exponential level (an equivalence class of <>E) is a convex interval?

If so, what is the relationship between them?