^^Definizione intensiva o estensiva di un insieme.

• Definizione intensiva : c'e' una regola, un criterio, per stabilire quali elementi appartengono all'insieme.
• Definizione estensiva : c'e' un elenco di elementi che stabilisce quali elementi appartengono all'insieme.

Altre denominazioni

Estensiva = enumerativa. Enumerare = elencare gli elementi di un insieme.

Relazione tra definizione intensiva e estensiva

teo: Da un punto di vista formale la definizione estensiva e quella intensiva sono equivalenti per gli insiemi finiti.

dim: se la definizione e' intensiva, posso costruire quella estensiva scrivendo l'elenco.
Se la definizione e' estensiva, la regola la posso costruire come appartenenza all'elenco.

Da un punto di vista sostanziale le definizioni non sono equivalenti, poiche' in un caso c'e' una regola, nell'altro non c'e' regola.

Definizione intensiva o estensiva di ...

• di un insieme. E' il caso esaminato sopra.
• di una relazione insiemistica

sono sempre casi particolari del caso generale di definizione intensiva o estensiva di un insieme.

Links

1. Definizione intensiva-estensiva.
2. ix Classi-fic-are/azione. potremmo chiamarla "insiemistica concreta".

Talk

Occa storia

Altre denominazioni

Intensiva= regolare. E' una mia denominazione. Vuole significare che la definizione e' basata su una regola.

Estensiva=irregolare. E' una mia denominazione. Vuole significare che la definizione non e' basata su una regola.

cmt: 24-4-2022 ho spostato qui, poiche' ho preso conoscenza piu' formalizzata di

Computable function, funzione calcolabile, insieme calcolabile.

per cui "intensivo" corrisponde a "calcolabile".