^^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.