Hmm... ako si u prilici isprobaj sledeće

Mathematica: Mod[7.6543, 2]
Derive: Mod(7.6543, 2)

i videćeš da je to naprosto "C specific feature"...

Što se tiče sužavanja kodomena to ima smisla raditi samo do nadskupova slike funkcije.
Na primer, ne možeš pukim sužavanjem kodomena da, recimo f-ju , prepraviš u f-ju ... to više ne bi bila f-ja... dakle, morao bi još i da je predefinišeš u svim "tačkama" domena koje su ostale bez svoje slike...

Funkcija je relacija gde su svaki element domena ima sliku i gde se ni jedan element domena nema dve slike. Šta od ova dva uslova nije zadovoljeno sužavanjem kodomena? Nijedan broj ne ostaje bez slike, samo se promeni slika koja odgovara nekim brojevima (dobro većini :)). Hoćeš da kažeš da to više nije TA funkcija? To jest, da je reč o nekoj novoj funkciji koja nije dobivena transformacijom ove, već joj je samo slična?

Nadam se da se slažemo da je

Hajde za početak da probamo malo skromniju akciju: izbacujemo samo jednu jedinu tačku iz kodomena recimo neku tačku .
Dobijamo novu relaciju a to nije f-ja na , jer tačke nemaju sliku.

E sad, zamisli da odradimo sve to za svako . Od tako dobijene relacije [ koja neće biti f-ja na željenom domenu] tek možeš da napraviš [ između ostalih ] i f-ju koju priželjkuješ, ali to je potpuno novi korak tako da ne stoji:



Da rezimiram: kad god izbaciš tačku iz slike f-je, implicitno si restrikovao f-ju na komplement inverzne slike te tačke u odnosu na domen.

_{[Ovu poruku je menjao uranium dana 30.11.2007. u 07:59 GMT+1]}