Ils font ...

SETS
PAYS; SON
VARIABLES
pays, sons
INVARIANT
pays <: PAYS &
sons <: SON &
les chiens de ... font ... : pays +-> sons

Instanciations

les chiens de ... font ... =
{
(albanie |-> ham-ham),
(chine |-> wang-wang),
(grèce |-> gave-gave),
(slovénie |-> hov-hov),
(ukraine |-> haf-haf),
(islande |-> woff),
(indonésie |-> gong),
(italie |-> bau-bau)
}

Application de fonction

les chiens de ... font ... (islande) = woff

domaine
dom(les chiens de ... font ...) = {albanie, chine, grèce, slovénie, ukraine, islande, indonésie, italie}

codomaine ou range
ran (les chiens de ... font ...) = {ham-ham, wang-wang, gave-gave, hov-hov, haf-haf, woff, gong, bau-bau}

On ne sait pas si la relation inverse est une fonction.