Codomain.md (693B)
1 # Codomain 2 3 Khan 4 5 **Definition:** The codomain of a function is a set that contains all possible mappings from the domain of inputs to outputs. This set can also contain values that are not mapped to from the domain by the function. 6 7 See [Range](Range.md) for only the subset of the codomain that is mapped to. 8 9 Defined formally, we can have any codomain C(f) that fulfills the following where D is the domain of the function f: 10 11 $C(f) \supseteq \{y \space | \space \exists x \in D \text{ such that } f(x) = y\}$ 12 13 Despite the openness of this, we often use a predefined set as the set considered the codomain, but it can be any set we choose to define that contains the range of the function.