Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Sottoclasse (insiemistica)

Indice Sottoclasse (insiemistica)

Nella teoria degli insiemi una sottoclasse è una classe i cui elementi sono tutti contenuti entro un'altra classe; quindi una classe, che chiamiamo B, è una sottoclasse di un'altra classe, che chiamiamo A, se oppure, a parole: Possiamo anche dire, in altri termini, che B è una sottoclasse di A se tutti gli elementi di B sono anche elementi di A. Per indicare che la classe B è una sottoclasse della classe A si usa la scrittura: che si legge: Si noti che ogni classe è una sottoclasse di se stessa, cioè perché una classe A è definita come A.

10 relazioni: Classe (matematica), Elemento (insiemistica), Inclusione, Insieme, Insieme vuoto, Schema di assiomi di specificazione, Teoria assiomatica degli insiemi, Teoria degli insiemi, Teoria ingenua degli insiemi, Teorie formali degli insiemi.

Classe (matematica)

Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni).

Nuovo!!: Sottoclasse (insiemistica) e Classe (matematica) · Mostra di più »

Elemento (insiemistica)

In matematica un elemento è un oggetto contenuto in un insieme (o più in generale in una classe).

Nuovo!!: Sottoclasse (insiemistica) e Elemento (insiemistica) · Mostra di più »

Inclusione

In matematica, e in particolare in teoria degli insiemi, l'inclusione, indicata con \subseteq, è una relazione binaria tra insiemi definita nel seguente modo: "l'insieme B è contenuto o incluso nell'insieme A se e solo se, per ogni elemento x, se x appartiene a B allora x appartiene ad A".

Nuovo!!: Sottoclasse (insiemistica) e Inclusione · Mostra di più »

Insieme

In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.

Nuovo!!: Sottoclasse (insiemistica) e Insieme · Mostra di più »

Insieme vuoto

Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.

Nuovo!!: Sottoclasse (insiemistica) e Insieme vuoto · Mostra di più »

Schema di assiomi di specificazione

Nella teoria degli insiemi, lo schema di assiomi di specificazione, o schema di assiomi di separazione, è uno schema di assiomi della teoria degli insiemi di Zermelo-Fraenkel.

Nuovo!!: Sottoclasse (insiemistica) e Schema di assiomi di specificazione · Mostra di più »

Teoria assiomatica degli insiemi

La teoria degli insiemi è una branca della matematica sviluppata principalmente dal matematico tedesco Georg Cantor alla fine del XIX secolo.

Nuovo!!: Sottoclasse (insiemistica) e Teoria assiomatica degli insiemi · Mostra di più »

Teoria degli insiemi

La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.

Nuovo!!: Sottoclasse (insiemistica) e Teoria degli insiemi · Mostra di più »

Teoria ingenua degli insiemi

La teoria ingenua degli insiemi si distingue dalla teoria assiomatica degli insiemi per il fatto che la prima considera gli insiemi come collezioni di oggetti, chiamati elementi o membri dell'insieme, mentre la seconda considera insiemi quelli che soddisfano determinati assiomi.

Nuovo!!: Sottoclasse (insiemistica) e Teoria ingenua degli insiemi · Mostra di più »

Teorie formali degli insiemi

Le teorie formali degli insiemi sono teorie del primo ordine con lo scopo di rappresentare le relazioni insiemistiche e fornire una base per il ragionamento matematico in generale.

Nuovo!!: Sottoclasse (insiemistica) e Teorie formali degli insiemi · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »