En teoría de conjuntos, una relación bien fundada sobre una clase X es una relación binaria R sobre X tal que todo subconjunto no vacío de X tiene un elemento R-mínimo; esto es: Para todo subconjunto no vacío S de X, hay un elemento m en S tal que ningún s en S cumple sRm. Equivalentemente, si asumimos el axioma de elección, una relación es bien fundada si y sólo si X no contiene cadenas descendientes infinitas numerables: esto es, no hay secuencia infinita x0, x1, x2, ...

rdfs:comment
  • En teoría de conjuntos, una relación bien fundada sobre una clase X es una relación binaria R sobre X tal que todo subconjunto no vacío de X tiene un elemento R-mínimo; esto es: Para todo subconjunto no vacío S de X, hay un elemento m en S tal que ningún s en S cumple sRm. Equivalentemente, si asumimos el axioma de elección, una relación es bien fundada si y sólo si X no contiene cadenas descendientes infinitas numerables: esto es, no hay secuencia infinita x0, x1, x2, ... (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Relación bien fundada (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 730554 (xsd:integer)
dbpedia-owl:wikiPageInterLanguageLink
dbpedia-owl:wikiPageLength
  • 3890 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 29 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 72016792 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [27 values]
Is dbpedia-owl:wikiPageWikiLink of [16 values]