Una inmersión de orden es una función "f" entre órdenes que es orden preservante y orden reflectante.