Formengi

Skilgreiningarmengi (eða formengi) er mengi allra ílags gilda fyrir gefið fall. Sé gefið fall f : A → B, er A skilgreiningarmengi fallsins f. Skilgreiningarmengi er oft táknað með D (e. domain) og skilgreiningarmengi fallsins f er kallað $D_{f}$.

Vel skilgreint fall verður að sýna bæði skilgreiningarmengi og bakmengi, skoðum fallið f ef:

$f(x)={\frac {1}{x}}$

Hér sést að x getur ekki verið núll og því getum við ekki sagt að skilgreiningarmengið sé mengi rauntalna, við verðum að taka núll frá, þ.e.:

$\mathbb {R} \setminus \lbrace 0\rbrace$

Í stað þess að sýna skilgreiningarmengið svona er einnig hægt að rita: f(x) = 1/x, þar sem x ≠ 0

Sjá einnig

• Bakmengi
• Myndmengi
• Átækt fall
• Eintækt fall
• Gagntækt fall