A Teichmüller?Tukey-lemma a halmazelmélet egyik tétele, ami azt állítja, hogy ha T véges jelleg? tulajdonság, akkor tetsz?leges halmaz T tulajdonságú halmazai között van maximális. Itt véges jelleg? tulajdonságon azt értjük, hogy az adott tulajdonság akkor és csak akkor teljesül egy halmazra, ha annak minden véges részhalmazára teljesül.

Property Value
dbo:abstract
  • A Teichmüller–Tukey-lemma a halmazelmélet egyik tétele, ami azt állítja, hogy ha T véges jellegű tulajdonság, akkor tetszÅ‘leges halmaz T tulajdonságú halmazai között van maximális. Itt véges jellegű tulajdonságon azt értjük, hogy az adott tulajdonság akkor és csak akkor teljesül egy halmazra, ha annak minden véges részhalmazára teljesül. (hu)
  • A Teichmüller–Tukey-lemma a halmazelmélet egyik tétele, ami azt állítja, hogy ha T véges jellegű tulajdonság, akkor tetszÅ‘leges halmaz T tulajdonságú halmazai között van maximális. Itt véges jellegű tulajdonságon azt értjük, hogy az adott tulajdonság akkor és csak akkor teljesül egy halmazra, ha annak minden véges részhalmazára teljesül. (hu)
dbo:wikiPageID
  • 88438 (xsd:integer)
dbo:wikiPageLength
  • 3073 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 14491991 (xsd:integer)
prop-hu:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • A Teichmüller–Tukey-lemma a halmazelmélet egyik tétele, ami azt állítja, hogy ha T véges jellegű tulajdonság, akkor tetszÅ‘leges halmaz T tulajdonságú halmazai között van maximális. Itt véges jellegű tulajdonságon azt értjük, hogy az adott tulajdonság akkor és csak akkor teljesül egy halmazra, ha annak minden véges részhalmazára teljesül. (hu)
  • A Teichmüller–Tukey-lemma a halmazelmélet egyik tétele, ami azt állítja, hogy ha T véges jellegű tulajdonság, akkor tetszÅ‘leges halmaz T tulajdonságú halmazai között van maximális. Itt véges jellegű tulajdonságon azt értjük, hogy az adott tulajdonság akkor és csak akkor teljesül egy halmazra, ha annak minden véges részhalmazára teljesül. (hu)
rdfs:label
  • Teichmüller–Tukey-lemma (hu)
  • Teichmüller–Tukey-lemma (hu)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of