This HTML5 document contains 103 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/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n28https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n17http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://fr.dbpedia.org/resource/Modèle:Démonstration/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n7http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n29http://ma-graph.org/entity/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-skhttp://sk.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#
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Relation_bien_fondée
rdfs:label
良基关系 Welgefundeerde relatie Relació ben fonamentada Quan hệ lập tốt Relação bem-fundada Wohlfundierte Relation Relation bien fondée Well-founded relation
rdfs:comment
En mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix) : * pour toute partie non vide X de E, il existe un élément x de X n'ayant aucun R-antécédent dans X (un R-antécédent de x dans X est un élément y de X vérifiant yRx) ; * condition de chaîne descendante : il n'existe pas de suite infinie (xn) d'éléments de E telle qu'on ait xn+1Rxn pour tout n.
rdfs:seeAlso
n28:well-founded_relation
owl:sameAs
dbr:Well-founded_relation dbpedia-ca:Relació_ben_fonamentada dbpedia-pt:Relação_bem-fundada dbpedia-ja:整礎関係 n17:01vb_2 dbpedia-he:אינדוקציה_נתרית dbpedia-cs:Fundovaná_relace wikidata:Q338021 dbpedia-zh:良基关系 dbpedia-vi:Quan_hệ_lập_tốt dbpedia-de:Wohlfundierte_Relation dbpedia-ko:정초_관계 dbpedia-pl:Relacja_dobrze_ufundowana dbpedia-nl:Welgefundeerde_relatie n29:42281083 dbpedia-es:Relación_bien_fundada dbpedia-hu:Jólfundált_(matematika) dbpedia-sk:Dobre_založená_relácia
dbo:wikiPageID
181369
dbo:wikiPageRevisionID
188223771
dbo:wikiPageWikiLink
dbpedia-fr:Relation_réflexive dbpedia-fr:Récurrence_transfinie dbpedia-fr:Induction_structurelle dbpedia-fr:Arbre_binaire dbpedia-fr:Axiome_du_choix_dépendant dbpedia-fr:Axiome_du_choix category-fr:Algèbre_générale dbpedia-fr:Fermeture_transitive dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Axiome_de_fondation dbpedia-fr:Algorithmique dbpedia-fr:Arbre_(mathématiques) dbpedia-fr:Axiome_d'anti-fondation dbpedia-fr:Axiome_d'extensionnalité dbpedia-fr:Ensemble_de_définition dbpedia-fr:Chaîne_de_caractères dbpedia-fr:Couple_(mathématiques) dbpedia-fr:Suite_(mathématiques) dbpedia-fr:Ordre_lexicographique dbpedia-fr:Graphe_d'une_fonction dbpedia-fr:Raisonnement_par_récurrence dbpedia-fr:Complémentaire_(théorie_des_ensembles) dbpedia-fr:Conditions_de_chaîne dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Programme_informatique dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Relation_binaire dbpedia-fr:Relation_d'ordre dbpedia-fr:Fonction_(mathématiques) dbpedia-fr:Entier_naturel dbpedia-fr:Ordre_total dbpedia-fr:Image_d'une_application dbpedia-fr:Relation_acyclique dbpedia-fr:Méthode_de_descente_infinie dbpedia-fr:Schéma_d'axiomes_de_remplacement dbpedia-fr:Ensemble_bien_ordonné category-fr:Théorie_des_ordres dbpedia-fr:Lemme_de_Higman dbpedia-fr:Terminaison_d'un_système_de_réécriture dbpedia-fr:Bel_ordre dbpedia-fr:Terminaison_d'un_algorithme dbpedia-fr:Prédicat_(logique_mathématique) dbpedia-fr:Mathématiques dbpedia-fr:Proposition_contraposée dbpedia-fr:Nombre_ordinal category-fr:Relation_binaire dbpedia-fr:Application_(mathématiques) dbpedia-fr:Définition_par_récurrence
dbo:wikiPageLength
11333
dct:subject
category-fr:Relation_binaire category-fr:Théorie_des_ordres category-fr:Algèbre_générale
prop-fr:wikiPageUsesTemplate
n7:N° n8:début n8:fin n7:Page_h n7:, n7:Théorème n7:Lien n7:Supra n7:Portail n7:Ind n7:Références n7:-1 n7:!
prov:wasDerivedFrom
wikipedia-fr:Relation_bien_fondée?oldid=188223771&ns=0
prop-fr:fr
Epsilon-induction
prop-fr:langue
en
prop-fr:texte
∈-induction
foaf:isPrimaryTopicOf
wikipedia-fr:Relation_bien_fondée
dbo:abstract
En mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix) : * pour toute partie non vide X de E, il existe un élément x de X n'ayant aucun R-antécédent dans X (un R-antécédent de x dans X est un élément y de X vérifiant yRx) ; * condition de chaîne descendante : il n'existe pas de suite infinie (xn) d'éléments de E telle qu'on ait xn+1Rxn pour tout n. Un ordre bien fondé (encore appelé ordre noethérien ou ordre artinien) est une relation d'ordre dont l'ordre strict associé est une relation bien fondée. Toute relation bien fondée est strictement acyclique, c'est-à-dire que sa clôture transitive est un ordre strict. Une relation R est bien fondée si sa clôture transitive l'est, ou encore si R est antiréflexive et si sa clôture réflexive transitive est un ordre bien fondé.
dbo:isPartOf
wikidata:Q20820020