Esto es equivalente a una inmersión de orden sobreyectiva.