An Entity of Type: programming language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

In set theory, a branch of mathematics, a set is called transitive if either of the following equivalent conditions hold: * whenever , and , then . * whenever , and is not an urelement, then is a subset of . Similarly, a class is transitive if every element of is a subset of .

Property Value
dbo:abstract
  • Tranzitivní třída je matematický pojem z oblasti teorie množin. Hraje důležitou úlohu v definici ordinálních čísel. (cs)
  • In der Mengenlehre nennt man eine Menge transitiv, falls * aus und immer folgt, dass , in Zeichen:, oder äquivalent falls * jedes Element von , das eine Menge ist, eine Teilmenge von ist. Auf ‚echte‘ (d. h. von der Leermenge verschiedene) Urelemente kommt es dabei nicht an.Analog dazu nennt man eine Klasse transitiv, falls jedes Element von eine Teilmenge von ist. (de)
  • Un conjunto transitivo es un conjunto tal que cualquiera de sus elementos también es un subconjunto del propio conjunto. Formalmente A es un conjunto transitivo si tiene la siguiente propiedad: (es)
  • En mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble. (fr)
  • In set theory, a branch of mathematics, a set is called transitive if either of the following equivalent conditions hold: * whenever , and , then . * whenever , and is not an urelement, then is a subset of . Similarly, a class is transitive if every element of is a subset of . (en)
  • 集合論(必ずしもZFCではない一般の集合論)において、集合 Aが推移的であるとは、 * x ∈ Aかつy ∈ x、ならばy ∈ A もしくは、同じ意味であるが * x ∈ Aかつxがurelement (基本元素)でないならxはAの部分集合である。 ということ。同様にクラスMが推移的であるとは、Mの要素は全てMの部分集合であることをいう。 (ja)
  • 집합론에서 추이적 집합(推移的集合, 영어: transitive set)은 원소의 원소를 원소로 하는 집합이다. (ko)
  • Na teoria dos conjuntos, um conjunto A é transitivo se, e somente se, * sempre que x ∈ A e y ∈ x, y ∈ A, ou, equivalentemente, * sempre que x ∈ A e x não é um urelemento, então x é um subconjunto de A. (pt)
  • Zbiór przechodni, zbiór tranzytywny – zbiór o tej własności, że jeżeli oraz to Innymi słowy, zbiór przechodni to zbiór o tej własności, że elementy jego elementów są również jego elementami. Powyższa definicja w naturalny sposób przenosi się na klasy właściwe. (pl)
  • 傳遞集合、即在ZF或ZFC集合论中,一个集合(或类)是传递的,如果 * 或等價地, * 或者 * 設為傳遞集,於是由能推出這和偏序的傳遞性類似。因此,說是傳遞集相當於說是一個偏序集。 在其它有基本元素的概念的集合論中,傳遞性可以說成 * 如果不是基本元素且,則 不包含基本元素的一个集合是传递性的,当且仅当 。 (zh)
  • Транзитивное множество — вполне упорядоченное особым образом множество. Понятие транзитивного множества было введено в математику П. Бернайсом и К. Гёделем при построении теории порядковых чисел. (ru)
  • Транзитивна множина — така множина в теорії множин, кожен елемент якої є її підмножиною. Використовуються для визначення порядкових чисел за фон Нейманом. Транзитивне замикання множини S — найменша транзитивна множина (по відношенню включення), що містить S. (uk)
dbo:wikiPageID
  • 2462396 (xsd:integer)
dbo:wikiPageLength
  • 11551 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1109080624 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • Tranzitivní třída je matematický pojem z oblasti teorie množin. Hraje důležitou úlohu v definici ordinálních čísel. (cs)
  • In der Mengenlehre nennt man eine Menge transitiv, falls * aus und immer folgt, dass , in Zeichen:, oder äquivalent falls * jedes Element von , das eine Menge ist, eine Teilmenge von ist. Auf ‚echte‘ (d. h. von der Leermenge verschiedene) Urelemente kommt es dabei nicht an.Analog dazu nennt man eine Klasse transitiv, falls jedes Element von eine Teilmenge von ist. (de)
  • Un conjunto transitivo es un conjunto tal que cualquiera de sus elementos también es un subconjunto del propio conjunto. Formalmente A es un conjunto transitivo si tiene la siguiente propiedad: (es)
  • En mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble. (fr)
  • In set theory, a branch of mathematics, a set is called transitive if either of the following equivalent conditions hold: * whenever , and , then . * whenever , and is not an urelement, then is a subset of . Similarly, a class is transitive if every element of is a subset of . (en)
  • 集合論(必ずしもZFCではない一般の集合論)において、集合 Aが推移的であるとは、 * x ∈ Aかつy ∈ x、ならばy ∈ A もしくは、同じ意味であるが * x ∈ Aかつxがurelement (基本元素)でないならxはAの部分集合である。 ということ。同様にクラスMが推移的であるとは、Mの要素は全てMの部分集合であることをいう。 (ja)
  • 집합론에서 추이적 집합(推移的集合, 영어: transitive set)은 원소의 원소를 원소로 하는 집합이다. (ko)
  • Na teoria dos conjuntos, um conjunto A é transitivo se, e somente se, * sempre que x ∈ A e y ∈ x, y ∈ A, ou, equivalentemente, * sempre que x ∈ A e x não é um urelemento, então x é um subconjunto de A. (pt)
  • Zbiór przechodni, zbiór tranzytywny – zbiór o tej własności, że jeżeli oraz to Innymi słowy, zbiór przechodni to zbiór o tej własności, że elementy jego elementów są również jego elementami. Powyższa definicja w naturalny sposób przenosi się na klasy właściwe. (pl)
  • 傳遞集合、即在ZF或ZFC集合论中,一个集合(或类)是传递的,如果 * 或等價地, * 或者 * 設為傳遞集,於是由能推出這和偏序的傳遞性類似。因此,說是傳遞集相當於說是一個偏序集。 在其它有基本元素的概念的集合論中,傳遞性可以說成 * 如果不是基本元素且,則 不包含基本元素的一个集合是传递性的,当且仅当 。 (zh)
  • Транзитивное множество — вполне упорядоченное особым образом множество. Понятие транзитивного множества было введено в математику П. Бернайсом и К. Гёделем при построении теории порядковых чисел. (ru)
  • Транзитивна множина — така множина в теорії множин, кожен елемент якої є її підмножиною. Використовуються для визначення порядкових чисел за фон Нейманом. Транзитивне замикання множини S — найменша транзитивна множина (по відношенню включення), що містить S. (uk)
rdfs:label
  • Tranzitivní třída (cs)
  • Transitive Menge (de)
  • Conjunto transitivo (es)
  • Ensemble transitif (fr)
  • 推移的集合 (ja)
  • 추이적 집합 (ko)
  • Zbiór przechodni (pl)
  • Conjunto transitivo (pt)
  • Transitive set (en)
  • Транзитивное множество (ru)
  • 传递集合 (zh)
  • Транзитивна множина (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License