Dominio:
- C = Insieme di tutti i personaggi (Cédric, Ubac)
- E = Insieme di tutti gli eventi (incontro con il cucciolo, crescita di Ubac, esperienze condivise)
- S = Insieme di tutti gli stati d'animo (solitudine, gioia, dolore)
- T = Tempo
Relazioni:
- ha_cucciolo(c, u): c (Cédric) ha un cucciolo u (Ubac)
- cresce(u, t): u (Ubac) cresce nel tempo t (Tempo)
- condivide_esperienza(c, u, e): c (Cédric) e u (Ubac) condividono un'esperienza e (Esempio: pioggia)
- provoca_stato_d'animo(e, s): e (Evento) provoca uno stato d'animo s (Stato d'animo)
- cambia_idea(c, e): e (Evento) cambia l'idea di c (Cédric) del mondo e dell'amore
Funzione:
f(c, u, t) = {
}
Proprietà:
- La funzione f è monotona crescente in t.
- La funzione f è continua in t.
- La funzione f è illimitata in t.
Interpretazione:
La funzione f descrive l'evoluzione del rapporto tra Cédric e Ubac nel tempo. La crescita di Ubac e le esperienze condivise con Cédric provocano in lui una serie di stati d'animo e cambiano la sua idea del mondo e dell'amore. La funzione è monotona crescente in t perché il legame tra Cédric e Ubac si rafforza con il tempo. La funzione è continua in t perché non ci sono eventi improvvisi che cambiano radicalmente il rapporto. La funzione è illimitata in t perché il legame tra Cédric e Ubac è destinato a durare per sempre.