Per definire un relazione bisogna definire un insieme di coppie ordinate, e
un insieme puo' essere definito intensivamente o estensivamente, quindi
si tratta dell'applicazione al caso particolare di un caso generale
Una funzione è una particolare relazione, quindi questa per una relazione, e' anche la definizione intensiva ed estensiva di una funzione.
ref: I 4 modi di rappresentare una corrispondenza.
intension of the function f
the rule that defines a function f:A→B as a mapping from a set A to a set B
extension of the function f
the set of ordered pairs determined by such a rule:
{(x,f(x))∈AxB: x∈A}
A definition by extension is only possible when the domain A is finite. In all other cases, the function must be defined by intension. (One could, of course, define the extension of a function as an infinite set, but the set itself would have to be defined by intension.)
ref: jfsowa/math
esOf: Definizione intensiva/estensiva.
Definizione in/es-tensiva di una relazione insiemistica.