Injectivity and distinct inputs
Injectivity requires distinct permitted inputs to have distinct outputs; it does not require coverage of the whole codomain.
atlas-injective · canonical_mko
Injectivity and distinct inputs
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data