MatVort
(de aro `bb E` al aro
`bb F`)
Tia rilato `f` de
`bb E` al `bb F`,
ke por Äiu elemento `a` en
`bb E`
ekzistas en `f` nur unu
paro,
kies unua termo estas `f`:
se Äiuj paroj en `f` havas la saman duan
termon, oni kvalifikas la bildigon konstanta;
la aron de Äiuj bildigoj de `bb E` al
`bb F` oni foje signas per
`bb F^(bb E)`.
ĵeto,
familio;
Specifaj bildigoj:
formo,
funkcio,
funkcionalo,
operacio,
operatoro,
transformo,
subbildigo,
vico;
bildigoj kun specifaj ecoj:
enjekcio,
surjekcio,
bijekcio;
Atributoj de bildigo:
fonto-aro,
celo-aro,
bildaro;
specifaj ecoj de iuj bildigoj:
konstanta,
simetria.
Rim.:
AnstataÅ diri, ke
`(a,b)` apartenas al bildigo
`f`
, oni
preferas diri, ke
`f` ĵetas (aŠtransformas,
aÅ bildigas)
`a` al `b`
, ke
`f` asocias `b` kun
`a`
, ke
`f` alprenas valoron `b`
Äe `a`
, ke
`b` estas la valoro de `f`
Äe
`a`
, ke
`b` estas la bildo de `a` per
`f`
... kaj oni signas `b` per
`f(a)` (legu: fo de a, aÅ
fo Äe a). La nocio bildigo estas formaligo
de la pli komuna nocio funkcio, ankaÅ por kiu valoras
similaj dirmanieroj.