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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n22	http://commons.wikimedia.org/wiki/Special:FilePath///upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Nested_set_V4.svg/
dbo	http://dbpedia.org/ontology/
n23	http://dbpedia.org/resource/File:
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n15	https://global.dbpedia.org/id/
n11	http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Nested_set_V4.svg/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
n10	http://commons.wikimedia.org/wiki/Special:FilePath/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-zh	http://zh.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Hereditarily_finite_set

rdfs:label

继承有限集合 Conjunto finito hereditariamente Hereditarily finite set 遺伝的有限集合 Conjuntos hereditariamente finitos

rdfs:comment

In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set. Na matemática e na teoria dos conjuntos, os conjuntos hereditariamente finitos são definidos como conjuntos finitos cujos elementos são todos conjuntos hereditariamente finitos. 数学および集合論において遺伝的有限集合（いでんてきゆうげんしゅうごう、英: hereditarily finite set）は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。 在数学中，继承有限集合被递归的定义为只包含继承有限集合（空集作为基础情况）的有限集合。非形式的说，继承有限集合是其成员也是有限集合，成员的成员也是有限集合以此类推，的有限集合。 它们可以通过如下规则构造： 空集是继承有限集合。如果是继承有限集合，则也是。 所有继承有限集合的集合被指示为。如果我们指示为的幂集，则 还可以构造如下：首先把空集写为，接着, , , 接着 。 继承有限集合是冯·诺伊曼全集的子类。它是把集合论公理中的无穷公理替代为它的否定公理得到公理体系的模型，因此证明了无穷公理不是其他集合论公理的推论。 注意有可数多个继承有限集合，因为对于任何有限的都是有限的（它的基数是，参见 tetration），而可数多个有限集合的并集是可数的。 等价的说，一个集合是继承有限的，当且仅当它的传递闭包是有限的。Vω也被符号化为，意味着小于的基数的继承。参见继承可数集合。 En matemáticas y teoría de conjuntos, los conjuntos finitos hereditariamente se definen como conjuntos finitos cuyos elementos son todos conjuntos finitos hereditarios. En otras palabras, el conjunto en sí es finito y todos sus elementos son conjuntos finitos, recursivamente hasta el conjunto vacío.

foaf:depiction

n10:Loupe_light.svg n10:Nested_set_V4.svg n22:1600px-Nested_set_V4.svg.png

dcterms:subject

dbc:Set_theory

dbo:wikiPageID

332621

dbo:wikiPageRevisionID

1118915243

dbo:wikiPageWikiLink

dbr:Tree_(graph_theory) dbr:Ordinal_number dbr:Type_theory dbr:Set_theory dbr:Zermelo_set_theory dbr:Finite_set dbr:Vertex_(graph_theory) dbr:Power_set dbr:Hereditary_set dbr:Mathematics dbr:Axiom dbr:Constructive_set_theory dbr:Zermelo–Fraenkel_axioms dbr:Primitive_recursive dbr:Hereditary_property dbr:Hereditarily_countable_set dbr:Heyting_arithmetic dbr:Aczel's_anti-foundation_axiom dbr:Rado_graph dbr:Transitive_set dbr:Epsilon_induction dbr:Countably dbr:Graph_theory dbr:Axiom_of_replacement dbr:Cardinality dbc:Set_theory dbr:Von_Neumann_universe dbr:Robinson_arithmetic dbr:Set-theoretic_definition_of_natural_numbers dbr:Countable_set dbr:Tetration dbr:Axiom_of_infinity dbr:Axiom_of_Extensionality n23:Nested_set_V4.svg dbr:Ackermann_coding dbr:Graph_automorphism dbr:Model_theory dbr:General_set_theory dbr:Well-foundedness dbr:BIT_predicate dbr:Bi-interpretable dbr:Recursive

dbo:wikiPageExternalLink

n11:1600px-Nested_set_V4.svg.png

owl:sameAs

wikidata:Q5737811 freebase:m.01x2w9 n15:4mdtw dbpedia-es:Conjunto_finito_hereditariamente dbpedia-ja:遺伝的有限集合 dbpedia-zh:继承有限集合 dbpedia-pt:Conjuntos_hereditariamente_finitos

dbp:wikiPageUsesTemplate

dbt:Short_description dbt:Citation dbt:Harvtxt dbt:Set_theory dbt:Reflist

dbo:thumbnail

n22:1600px-Nested_set_V4.svg.png?width=300

dbo:abstract

En matemáticas y teoría de conjuntos, los conjuntos finitos hereditariamente se definen como conjuntos finitos cuyos elementos son todos conjuntos finitos hereditarios. En otras palabras, el conjunto en sí es finito y todos sus elementos son conjuntos finitos, recursivamente hasta el conjunto vacío. 数学および集合論において遺伝的有限集合（いでんてきゆうげんしゅうごう、英: hereditarily finite set）は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。 Na matemática e na teoria dos conjuntos, os conjuntos hereditariamente finitos são definidos como conjuntos finitos cujos elementos são todos conjuntos hereditariamente finitos. 在数学中，继承有限集合被递归的定义为只包含继承有限集合（空集作为基础情况）的有限集合。非形式的说，继承有限集合是其成员也是有限集合，成员的成员也是有限集合以此类推，的有限集合。 它们可以通过如下规则构造： 空集是继承有限集合。如果是继承有限集合，则也是。 所有继承有限集合的集合被指示为。如果我们指示为的幂集，则 还可以构造如下：首先把空集写为，接着, , , 接着 。 继承有限集合是冯·诺伊曼全集的子类。它是把集合论公理中的无穷公理替代为它的否定公理得到公理体系的模型，因此证明了无穷公理不是其他集合论公理的推论。 注意有可数多个继承有限集合，因为对于任何有限的都是有限的（它的基数是，参见 tetration），而可数多个有限集合的并集是可数的。 等价的说，一个集合是继承有限的，当且仅当它的传递闭包是有限的。Vω也被符号化为，意味着小于的基数的继承。参见继承可数集合。 In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set.

prov:wasDerivedFrom

wikipedia-en:Hereditarily_finite_set?oldid=1118915243&ns=0

dbo:wikiPageLength

7970

foaf:isPrimaryTopicOf

wikipedia-en:Hereditarily_finite_set