Domain, codomain, and range

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

For a total function f:A→B, A is the domain, B is the codomain, and f[A] is the set of outputs actually attained.

atlas-domain-codomain-range · canonical_mko

Prerequisite nodes