This HTML5 document contains 53 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-lmohttp://lmo.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n30https://www.britannica.com/topic/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6https://ncatlab.org/nlab/show/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n8http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n16http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n27http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Axiome_de_la_réunion
rdfs:label
Axiome de la réunion Аксиома объединения Axioma de unión Axioma da união Axiom of union Zermelo-Fraenkel-Mengenlehre Axioma de la unió Аксіома об'єднання
rdfs:comment
En théorie des ensembles, l’axiome de la réunion (ou «axiome de la somme») est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, ZF. Il affirme que, pour tout ensemble A, il existe un ensemble qui contient tous les éléments des ensembles éléments de l'ensemble A, et seulement ceux-ci (le contexte est celui d'une théorie où tous les objets sont des ensembles, en particulier A est un ensemble d'ensembles, sinon il faut le préciser). Dans le langage formel de l'axiomatique ZF, l'axiome s'écrit : . * Portail des mathématiques
rdfs:seeAlso
n6:axiom_of_union n30:axiom-of-union
owl:sameAs
dbpedia-he:אקסיומת_האיחוד n8:0dtgx wikidata:Q1987722 dbpedia-uk:Аксіома_об'єднання dbpedia-ru:Аксиома_объединения dbpedia-es:Axioma_de_unión dbpedia-it:Assioma_dell'unione dbpedia-ja:和集合の公理 dbpedia-sv:Unionaxiomet dbpedia-lmo:Assioma_da_la_reüniú dbpedia-pl:Aksjomat_sumy dbpedia-ca:Axioma_de_la_unió dbr:Axiom_of_union n27:2779821532 dbpedia-zh:并集公理 dbpedia-fa:اصل_موضوع_اجتماع dbpedia-pt:Axioma_da_união
dbo:wikiPageInterLanguageLink
dbpedia-de:Zermelo-Fraenkel-Mengenlehre
dbo:wikiPageID
78592
dbo:wikiPageRevisionID
155146660
dbo:wikiPageWikiLink
dbpedia-fr:Axiome_d'extensionnalité dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fr:Axiome_de_la_paire dbpedia-fr:Intersection_(mathématiques) dbpedia-fr:Ensemble dbpedia-fr:Langage_formel dbpedia-fr:Union_(mathématiques) category-fr:Axiome_de_la_théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Axiome dbpedia-fr:Ensemble_vide dbpedia-fr:Axiomatisation
dbo:wikiPageLength
2458
dct:subject
category-fr:Axiome_de_la_théorie_des_ensembles
prop-fr:wikiPageUsesTemplate
n16:Portail n16:Énoncé
prov:wasDerivedFrom
wikipedia-fr:Axiome_de_la_réunion?oldid=155146660&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Axiome_de_la_réunion
dbo:abstract
En théorie des ensembles, l’axiome de la réunion (ou «axiome de la somme») est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, ZF. Il affirme que, pour tout ensemble A, il existe un ensemble qui contient tous les éléments des ensembles éléments de l'ensemble A, et seulement ceux-ci (le contexte est celui d'une théorie où tous les objets sont des ensembles, en particulier A est un ensemble d'ensembles, sinon il faut le préciser). Cet axiome permet avec l'aide de l'axiome de l'ensemble des parties et le schéma d'axiomes de remplacement (qui démontrent l'axiome de la paire de la théorie de Zermelo Z, redondant donc dans ZF) de démontrer que la réunion de deux ensembles (qui contient exactement les éléments des deux ensembles) est un ensemble. Dans le langage formel de l'axiomatique ZF, l'axiome s'écrit : . La clause placée entre parenthèses et faisant intervenir D sert à déclarer que C est élément d'un certain ensemble, lui-même élément de A. Ainsi, l'axiome affirme bien, qu'étant donné un ensemble A, il existe un ensemble B dont les éléments sont précisément les éléments des éléments de A. L'axiome d'extensionnalité prouve que cet ensemble B est unique. L'ensemble B est appelé la réunion de A, et est noté ∪A. Ainsi l'axiome dit essentiellement que la réunion de tous les éléments d'un ensemble est un ensemble. Dans le cas particulier où A est l'ensemble vide, on obtient l'ensemble ∪∅ = ∅ (l'axiome n'est pas utile pour démontrer l'existence de ∪∅). L'axiome de la réunion ou un équivalent de celui-ci apparaît dans pratiquement toute autre axiomatique de la théorie des ensembles. Il n'y a pas d'axiome correspondant pour l'intersection. Dans le cas où A est l'ensemble vide, il n'y a aucune intersection de A dans ZF. D'autre part, si A a un certain élément B, l'ensemble peut être formé en employant le schéma d'axiomes de compréhension. * Portail des mathématiques
dbo:isPartOf
dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel