^^Relazione; definizione intensiva e estensiva.

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

 

Links

esOf: Definizione intensiva/estensiva.

Talk

Titolo alter

Definizione in/es-tensiva di una relazione insiemistica.