En mathématiques, un sous-ensemble cofini X d'un ensemble Y est un sous-ensemble de Y dont le complémentaire est fini. On a les propriétés suivantes : * X est fini si et seulement si Y l'est ; * Si X est infini, il a la même cardinal que Y, c'est-à-dire que X et Y peuvent être mis en bijection (en supposant l'axiome du choix).

Property Value
dbo:abstract
  • En mathématiques, un sous-ensemble cofini X d'un ensemble Y est un sous-ensemble de Y dont le complémentaire est fini. On a les propriétés suivantes : * X est fini si et seulement si Y l'est ; * Si X est infini, il a la même cardinal que Y, c'est-à-dire que X et Y peuvent être mis en bijection (en supposant l'axiome du choix). (fr)
  • En mathématiques, un sous-ensemble cofini X d'un ensemble Y est un sous-ensemble de Y dont le complémentaire est fini. On a les propriétés suivantes : * X est fini si et seulement si Y l'est ; * Si X est infini, il a la même cardinal que Y, c'est-à-dire que X et Y peuvent être mis en bijection (en supposant l'axiome du choix). (fr)
dbo:wikiPageID
  • 1251031 (xsd:integer)
dbo:wikiPageLength
  • 620 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 129565120 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, un sous-ensemble cofini X d'un ensemble Y est un sous-ensemble de Y dont le complémentaire est fini. On a les propriétés suivantes : * X est fini si et seulement si Y l'est ; * Si X est infini, il a la même cardinal que Y, c'est-à-dire que X et Y peuvent être mis en bijection (en supposant l'axiome du choix). (fr)
  • En mathématiques, un sous-ensemble cofini X d'un ensemble Y est un sous-ensemble de Y dont le complémentaire est fini. On a les propriétés suivantes : * X est fini si et seulement si Y l'est ; * Si X est infini, il a la même cardinal que Y, c'est-à-dire que X et Y peuvent être mis en bijection (en supposant l'axiome du choix). (fr)
rdfs:label
  • Sous-ensemble cofini (fr)
  • Sous-ensemble cofini (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of