holoédrique

Un isomorphisme, c’est-à-dire un morphisme surjectif, est dit holoédrique s’il est injectif. Un isomorphisme holoédrique est donc un isomorphisme au sens moderne.