About: Well-founded relation

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Well-founded relation Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Quan hệ lập tốt (vi) Relació ben fonamentada (ca) Relation bien fondée (fr) Relação bem-fundada (pt) Welgefundeerde relatie (nl) Well-founded relation (en) Wohlfundierte Relation (de) 良基关系 (zh)
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. (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/well-founded_relation
sameAs	Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation Well-founded relation
Wikipage page ID	181369 (xsd:integer)
Wikipage revision ID	188223771 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Algèbre_générale Algorithmics Map (mathematics) Tree (set theory) Binary tree Aczel's anti-foundation axiom Axiom of extensionality Axiom of regularity Axiom of choice Axiom of dependent choice Peano axioms Well-quasi-ordering category-fr:Relation_binaire category-fr:Théorie_des_ordres String (computer science) dbpedia-fr:Classe_(mathématiques) Complement (set theory) Ascending chain condition dbpedia-fr:Couple_(mathématiques) dbpedia-fr:Définition_par_récurrence Well-order Domain of a function Natural number Transitive closure Function (mathematics) dbpedia-fr:Graphe_d'une_fonction dbpedia-fr:Image_d'une_application Structural induction dbpedia-fr:Lemme_de_Higman dbpedia-fr:Méthode_de_descente_infinie dbpedia-fr:Nombre_ordinal Lexicographic order Total order dbpedia-fr:Programme_informatique dbpedia-fr:Proposition_contraposée Predicate (mathematical logic) Mathematical induction dbpedia-fr:Relation_acyclique Binary relation Partially ordered set Reflexive relation dbpedia-fr:Récurrence_transfinie dbpedia-fr:Schéma_d'axiomes_de_remplacement Sequence dbpedia-fr:Terminaison_d'un_algorithme dbpedia-fr:Terminaison_d'un_système_de_réécriture dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Mathématiques
page length (characters) of wiki page	11333 (xsd:nonNegativeInteger)
dct:subject	category-fr:Algèbre_générale category-fr:Relation_binaire category-fr:Théorie_des_ordres
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Ind dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:N° dbpedia-fr:Modèle:Page_h dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:-1 dbpedia-fr:Modèle:! dbpedia-fr:Modèle:Théorème dbpedia-fr:Modèle:Supra dbpedia-fr:Modèle:Démonstration/début dbpedia-fr:Modèle:Démonstration/fin
prov:wasDerivedFrom	wikipedia-fr:Relation_bien_fondée?oldid=188223771&ns=0
prop-fr:fr	Epsilon-induction (fr)
prop-fr:langue	en (fr)
prop-fr:texte	∈-induction (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software