Por lo tanto, la imagen "f"("P") de una inmersión de orden es siempre isomorfa a "P", lo que justifica el término "inmersión".