Formengi
(Endurbeint frá Skilgreiningarmengi)
Formengi,[1] frámengi,[1] óðal[1] eða skilgreiningarmengi[1] (sjá samheiti innan stærðfræðinnar) falls er mengi allra ílaga fallsins. Sé gefið fall f : A → B, þá er A formengi fallsins f, en B bakmengi. Formengi er oft táknað með D (enska domain) og formengi tiltekins falls f táknað með .
Vel skilgreint fall verður að sýna bæði for- og bakmengi, skoðum fallið f ef:
Hér sést að x getur ekki verið núll og því getum við ekki sagt að forrmengið sé mengi rauntalna, við verðum að taka núll frá, þ.a. formengið verði:
Í stað þess að sýna formengið með þessum hætt má einnig rita: f(x) = 1/x, þar sem x ≠ 0
For- og bakmengi eru oft sama mengið, en ef myndmengi falls er sama mengi og bakmengið, er fallið sagt átækt.