| http://dbpedia.org/ontology/abstract
|
Транзитивне замикання бінарного відношення … Транзитивне замикання бінарного відношення на множині — це найменше транзитивне відношення на множині , що включає . «Найменше транзитивне відношення» визначається за допомогою відношення включення. Це можливо, позаяк відношення само є множиною (а саме підмножиною декартового квадрата множини ). Тому, якщо R1 ⊂ R2, тоді R1 вважатимемо меншим за R2.R1 ⊂ R2, тоді R1 вважатимемо меншим за R2.
, In mathematics, the transitive closure of … In mathematics, the transitive closure of a binary relation R on a set X is the smallest relation on X that contains R and is transitive. For finite sets, "smallest" can be taken in its usual sense, of having the fewest related pairs; for infinite sets it is the unique minimal transitive superset of R. For example, if X is a set of airports and x R y means "there is a direct flight from airport x to airport y" (for x and y in X), then the transitive closure of R on X is the relation R+ such that x R+ y means "it is possible to fly from x to y in one or more flights". Informally, the transitive closure gives you the set of all places you can get to from any starting place. More formally, the transitive closure of a binary relation R on a set X is the transitive relation R+ on set X such that R+ contains R and R+ is minimal; see , p. 337). If the binary relation itself is transitive, then the transitive closure is that same binary relation; otherwise, the transitive closure is a different relation. Conversely, transitive reduction adduces a minimal relation S from a given relation R such that they have the same closure, that is, S+ = R+; however, many different S with this property may exist. Both transitive closure and transitive reduction are also used in the closely related area of graph theory. the closely related area of graph theory.
, Domknięcie przechodnie relacji dwuargument … Domknięcie przechodnie relacji dwuargumentowej na zbiorze jest to najmniejsza (w sensie inkluzji) relacja przechodnia na zbiorze która zawiera Dla każdej relacji istnieje jej domknięcie przechodnie. Dla dowodu wystarczy zauważyć, że iloczyn dowolnej rodziny relacji przechodnich jest relacją przechodnią. Ponadto dla każdej relacji na zbiorze istnieje co najmniej jedna relacja przechodnia ją zawierająca – mianowicie Wobec tego domknięcie przechodnie relacji można określić jako iloczyn wszystkich relacji przechodnich na ją zawierających. relacji przechodnich na ją zawierających.
, Na matemática, o fecho transitivo de uma r … Na matemática, o fecho transitivo de uma relação binária R sobre um conjunto X é a relação transitiva R+ sobre o conjunto X de maneira que R+ contém R e R+ é mínimo (Lidl and Pilz 1998:337). Se a própria relação binária é transitiva, então o fecho transitivo é a própria relação; senão, o fecho transitivo é uma outra relação. Por exemplo, se X é um conjunto de aeroportos e x R y significa "existe um voo direto do aeroporto x para o aeroporto y", então o fecho transitivo de R sobre X é a relação R+: "é possível voar a partir de x para y em um ou mais voos." a partir de x para y em um ou mais voos."
, 推移閉包（すいいへいほう、英: transitive closure）は、集合 X … 推移閉包（すいいへいほう、英: transitive closure）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。ら y まで一回または複数の航空便で行くことができる」という関係 xR+y である。
, 数学中，集合X上的二元关系 R 的传递闭包是包含R的X上的最小的遞移關係。 例如，如果 X 是由人组成的集合（不论人活着与否）而R是关系“为父子”，则 R 的传递闭包是关系“x 是 y 的祖先”。再比如，如果 X 是空港的集合而关系 xRy 为“从空港 x 到空港 y 有直航”，则 R 的传递闭包是“可能经一次或多次航行从 x 飞到 y”。
, La clausura transitiva o cierre transitivo … La clausura transitiva o cierre transitivo de una relación binaria es la relación binaria más pequeña que siendo transitiva contiene al conjunto de pares de la relación binaria original. La clausura transitiva de una relación se denotada . En otras palabras, es la relación binaria que verifica: 1.
* 2.
* es transitiva 3.
* Si es una relación transitiva tal que , entonces Nótese que si es transitiva, entonces . Dada cualquier relación siempre existe su clausura transitiva.ión siempre existe su clausura transitiva.
, Tranzitivní uzávěr binární relace R je definován jako nejmenší (z hlediska množinové inkluze) tranzitivní nadmnožina R. Matematicky vyjádřeno, pro tranzitivní uzávěr R' binární relace R platí:
, Die transitive Hülle bzw. der transitive A … Die transitive Hülle bzw. der transitive Abschluss einer (zweistelligen) Relation ist eine Erweiterung dieser Relation, die – vereinfacht gesagt – zusätzlich alle indirekt erreichbaren Paare enthält (und damit transitiv ist). Die transitive Hülle kann mit dem Floyd-Warshall-Algorithmus berechnet werden. Die reflexiv-transitive Hülle bzw. den reflexiv-transitiven Abschluss der Relation erhält man, indem man zur transitiven Hülle die für Reflexivität noch fehlenden Paare auf der Diagonalen hinzufügt.lenden Paare auf der Diagonalen hinzufügt.
, La fermeture transitive est une opération mathématique pouvant être appliquée sur des relations binaires sur un ensemble, autrement dit sur des graphes orientés.
, Matematikan, multzoan definitutako erlazio … Matematikan, multzoan definitutako erlazio bitarraren itxitura iragankorra, adierazita, erlazio iragankorra da, erlazioa barnean hartzen duenetan txikiena dena. Beste hitzetan, da ondoko hauek betetzen dituen erlazio bitarra: 1.
* 2.
* iragankorra da 3.
* erlazio iragankorra bada, non den, orduan Oharra: iragankorra bada, orduan . orduan Oharra: iragankorra bada, orduan .
, De transitieve afsluiting (Nederland) of t … De transitieve afsluiting (Nederland) of transitieve sluiting (Vlaanderen) van een tweeplaatsige relatie op een verzameling is de kleinste transitieve relatie op die de oorspronkelijke relatie omvat. Deze kleinste relatie bestaat altijd, deze kan namelijk als volgt worden geconstrueerd: als er een rij elementen bestaat met en voor Deze vorm van afsluiting, gedefinieerd voor tweeplaatsige relaties, komt overeen met de definitie van afsluiting, gedefinieerd voor verzamelingen. Als men de relaties voorstelt als een gerichte graaf, bevat de graaf van de transitieve afsluiting een boog van knoop naar knoop als de graaf van een gericht pad met een of meer bogen bevat van naar . De transitieve afsluiting van een gerichte, acyclische graaf is de graaf, die aangeeft welke knooppunten vanuit andere knopen zijn te bereiken. De reflexief-transitieve afsluiting van iedere homogene tweeplaatsige relatie is een preorde.gene tweeplaatsige relatie is een preorde.
, Транзитивное замыкание в теории множеств — … Транзитивное замыкание в теории множеств — это операция на бинарных отношениях. Транзитивное замыкание бинарного отношения R на множестве X есть наименьшее транзитивное отношение на множестве X, включающее R. Например, если X — это множество людей (и живых, и мёртвых), а R — отношение «является родителем», то транзитивное замыкание R — это отношение «является предком». Если X — это множество аэропортов, а xRy эквивалентно «существует рейс из x в y», и транзитивное замыкание R равно P, то xPy эквивалентно «можно долететь из x в y самолётом» (хотя иногда придётся лететь с пересадками)хотя иногда придётся лететь с пересадками)
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Transitive-closure.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/finitemodeltheor0000ebbi%7Curl-access=registration%7Cyear=1999%7Cpublisher=Springer%7Cisbn=978-3-540-28787-2%7Cedition=2nd%7Cpages= +
, https://archive.org/details/finitemodeltheor0000ebbi/page/123 +
, http://www.cs.sunysb.edu/~algorith/files/transitive-closure.shtml +
, http://mercury.pr.erau.edu/~siewerts/cs332/documents/Papers/Transitive-Closure/Transitive-Closure-with-Boolean-Matrices.pdf +
, http://codex.cs.yale.edu/avi/db-book/db6/appendices-dir/c.pdf +
, http://worldcat.org/oclc/912471702%7Ctitle=Efficient +
, http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.127.8266 +
, https://archive.org/details/elementsoffinite00libk +
, https://web.archive.org/web/20140810063150/http:/www.edbt.org/Proceedings/2011-Uppsala/papers/edbt/a1-afrati.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
292239
|
| http://dbpedia.org/ontology/wikiPageLength
|
17553
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1115018607
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/MapReduce +
, http://dbpedia.org/resource/IBM_Db2 +
, http://dbpedia.org/resource/PostgreSQL +
, http://dbpedia.org/resource/Minimal_element +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Microsoft_SQL_Server +
, http://dbpedia.org/resource/Superset +
, http://dbpedia.org/resource/Oracle_Database +
, http://dbpedia.org/resource/Floyd%E2%80%93Warshall_algorithm +
, http://dbpedia.org/resource/MySQL +
, http://dbpedia.org/resource/Cluster_graph +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Ronald_Fagin +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/SQL +
, http://dbpedia.org/resource/Symmetric_closure +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Category:Binary_relations +
, http://dbpedia.org/resource/Strict_partial_order +
, http://dbpedia.org/resource/Category:Closure_operators +
, http://dbpedia.org/resource/Finite_model_theory +
, http://dbpedia.org/resource/PSPACE +
, http://dbpedia.org/resource/Datalog +
, http://dbpedia.org/resource/Component_%28graph_theory%29 +
, http://dbpedia.org/resource/Clique_%28graph_theory%29 +
, http://dbpedia.org/resource/Directed_path +
, http://dbpedia.org/resource/Day_of_the_week +
, http://dbpedia.org/resource/Gaifman-local +
, http://dbpedia.org/resource/File:Transitive-closure.svg +
, http://dbpedia.org/resource/Purdom%27s_algorithm +
, http://dbpedia.org/resource/Composition_of_relations +
, http://dbpedia.org/resource/SQL_3 +
, http://dbpedia.org/resource/Graph_theory +
, http://dbpedia.org/resource/Disjoint_union_of_graphs +
, http://dbpedia.org/resource/STCON +
, http://dbpedia.org/resource/Fixpoint_logic +
, http://dbpedia.org/resource/File:Equivalentie.svg +
, http://dbpedia.org/resource/NL-complete +
, http://dbpedia.org/resource/Equivalence_relation +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Preorder +
, http://dbpedia.org/resource/Jeffrey_Ullman +
, http://dbpedia.org/resource/Matrix_multiplication +
, http://dbpedia.org/resource/Indexed_family +
, http://dbpedia.org/resource/Undergraduate_Texts_in_Mathematics +
, http://dbpedia.org/resource/Transitive_relation +
, http://dbpedia.org/resource/Union_%28set_theory%29 +
, http://dbpedia.org/resource/Category:Graph_algorithms +
, http://dbpedia.org/resource/Big_O_notation +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Reflexive_closure +
, http://dbpedia.org/resource/There_exists +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/Undirected_graph +
, http://dbpedia.org/resource/Alfred_Aho +
, http://dbpedia.org/resource/Deductive_closure +
, http://dbpedia.org/resource/L_%28complexity%29 +
, http://dbpedia.org/resource/Complexity_class +
, http://dbpedia.org/resource/MariaDB +
, http://dbpedia.org/resource/Breadth-first_search +
, http://dbpedia.org/resource/NL_%28complexity%29 +
, http://dbpedia.org/resource/Cartesian_product +
, http://dbpedia.org/resource/Reachability +
, http://dbpedia.org/resource/Depth-first_search +
, http://dbpedia.org/resource/Relation_%28mathematics%29 +
, http://dbpedia.org/resource/Directed_acyclic_graph +
, http://dbpedia.org/resource/Ancestral_relation +
, http://dbpedia.org/resource/Database_query_language +
, http://dbpedia.org/resource/Strongly_connected_component +
, http://dbpedia.org/resource/Transitive_reduction +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:About +
, http://dbpedia.org/resource/Template:Harvtxt +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Harvnb +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Harv +
, http://dbpedia.org/resource/Template:Sup +
, http://dbpedia.org/resource/Template:Further +
, http://dbpedia.org/resource/Template:As_of +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_conference +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Isbn +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Binary_relations +
, http://dbpedia.org/resource/Category:Closure_operators +
, http://dbpedia.org/resource/Category:Graph_algorithms +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/%2B +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Transitive_closure?oldid=1115018607&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Equivalentie.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Transitive-closure.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Transitive_closure +
|
| owl:sameAs |
http://fa.dbpedia.org/resource/%D8%A8%D8%B3%D8%AA%D8%A7%D8%B1_%D8%AA%D8%B9%D8%AF%DB%8C +
, http://uk.dbpedia.org/resource/%D0%A2%D1%80%D0%B0%D0%BD%D0%B7%D0%B8%D1%82%D0%B8%D0%B2%D0%BD%D0%B5_%D0%B7%D0%B0%D0%BC%D0%B8%D0%BA%D0%B0%D0%BD%D0%BD%D1%8F +
, http://ru.dbpedia.org/resource/%D0%A2%D1%80%D0%B0%D0%BD%D0%B7%D0%B8%D1%82%D0%B8%D0%B2%D0%BD%D0%BE%D0%B5_%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA%D0%B0%D0%BD%D0%B8%D0%B5 +
, http://yago-knowledge.org/resource/Transitive_closure +
, http://zh.dbpedia.org/resource/%E4%BC%A0%E9%80%92%E9%97%AD%E5%8C%85 +
, http://nl.dbpedia.org/resource/Transitieve_afsluiting +
, http://cs.dbpedia.org/resource/Tranzitivn%C3%AD_uz%C3%A1v%C4%9Br +
, http://eu.dbpedia.org/resource/Itxitura_iragankor +
, http://fr.dbpedia.org/resource/Fermeture_transitive +
, http://es.dbpedia.org/resource/Clausura_transitiva +
, http://www.wikidata.org/entity/Q1501387 +
, http://dbpedia.org/resource/Transitive_closure +
, http://de.dbpedia.org/resource/Transitive_H%C3%BClle_%28Relation%29 +
, https://global.dbpedia.org/id/WQ8D +
, http://pt.dbpedia.org/resource/Fecho_transitivo +
, http://ja.dbpedia.org/resource/%E6%8E%A8%E7%A7%BB%E9%96%89%E5%8C%85 +
, http://pl.dbpedia.org/resource/Domkni%C4%99cie_przechodnie +
, http://sr.dbpedia.org/resource/%D0%A2%D1%80%D0%B0%D0%BD%D0%B7%D0%B8%D1%82%D0%B8%D0%B2%D0%BD%D0%BE_%D0%B7%D0%B0%D1%82%D0%B2%D0%BE%D1%80%D0%B5%D1%9A%D0%B5 +
, http://rdf.freebase.com/ns/m.01qr9p +
|
| rdf:type |
http://dbpedia.org/class/yago/Algorithm105847438 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Event100029378 +
, http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/Function113783816 +
, http://dbpedia.org/class/yago/WikicatClosureOperators +
, http://dbpedia.org/class/yago/Act100030358 +
, http://dbpedia.org/class/yago/WikicatGraphAlgorithms +
, http://dbpedia.org/class/yago/Activity100407535 +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
, http://dbpedia.org/class/yago/Procedure101023820 +
, http://dbpedia.org/class/yago/MathematicalRelation113783581 +
, http://dbpedia.org/ontology/MeanOfTransportation +
, http://dbpedia.org/class/yago/Operator113786413 +
, http://dbpedia.org/class/yago/Rule105846932 +
|
| rdfs:comment |
La fermeture transitive est une opération mathématique pouvant être appliquée sur des relations binaires sur un ensemble, autrement dit sur des graphes orientés.
, 推移閉包（すいいへいほう、英: transitive closure）は、集合 X … 推移閉包（すいいへいほう、英: transitive closure）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。ら y まで一回または複数の航空便で行くことができる」という関係 xR+y である。
, Транзитивное замыкание в теории множеств — … Транзитивное замыкание в теории множеств — это операция на бинарных отношениях. Транзитивное замыкание бинарного отношения R на множестве X есть наименьшее транзитивное отношение на множестве X, включающее R. Например, если X — это множество людей (и живых, и мёртвых), а R — отношение «является родителем», то транзитивное замыкание R — это отношение «является предком». Если X — это множество аэропортов, а xRy эквивалентно «существует рейс из x в y», и транзитивное замыкание R равно P, то xPy эквивалентно «можно долететь из x в y самолётом» (хотя иногда придётся лететь с пересадками)хотя иногда придётся лететь с пересадками)
, La clausura transitiva o cierre transitivo … La clausura transitiva o cierre transitivo de una relación binaria es la relación binaria más pequeña que siendo transitiva contiene al conjunto de pares de la relación binaria original. La clausura transitiva de una relación se denotada . En otras palabras, es la relación binaria que verifica: 1.
* 2.
* es transitiva 3.
* Si es una relación transitiva tal que , entonces Nótese que si es transitiva, entonces . Dada cualquier relación siempre existe su clausura transitiva.ión siempre existe su clausura transitiva.
, Matematikan, multzoan definitutako erlazio … Matematikan, multzoan definitutako erlazio bitarraren itxitura iragankorra, adierazita, erlazio iragankorra da, erlazioa barnean hartzen duenetan txikiena dena. Beste hitzetan, da ondoko hauek betetzen dituen erlazio bitarra: 1.
* 2.
* iragankorra da 3.
* erlazio iragankorra bada, non den, orduan Oharra: iragankorra bada, orduan . orduan Oharra: iragankorra bada, orduan .
, Na matemática, o fecho transitivo de uma r … Na matemática, o fecho transitivo de uma relação binária R sobre um conjunto X é a relação transitiva R+ sobre o conjunto X de maneira que R+ contém R e R+ é mínimo (Lidl and Pilz 1998:337). Se a própria relação binária é transitiva, então o fecho transitivo é a própria relação; senão, o fecho transitivo é uma outra relação. Por exemplo, se X é um conjunto de aeroportos e x R y significa "existe um voo direto do aeroporto x para o aeroporto y", então o fecho transitivo de R sobre X é a relação R+: "é possível voar a partir de x para y em um ou mais voos." a partir de x para y em um ou mais voos."
, Транзитивне замикання бінарного відношення … Транзитивне замикання бінарного відношення на множині — це найменше транзитивне відношення на множині , що включає . «Найменше транзитивне відношення» визначається за допомогою відношення включення. Це можливо, позаяк відношення само є множиною (а саме підмножиною декартового квадрата множини ). Тому, якщо R1 ⊂ R2, тоді R1 вважатимемо меншим за R2.R1 ⊂ R2, тоді R1 вважатимемо меншим за R2.
, In mathematics, the transitive closure of … In mathematics, the transitive closure of a binary relation R on a set X is the smallest relation on X that contains R and is transitive. For finite sets, "smallest" can be taken in its usual sense, of having the fewest related pairs; for infinite sets it is the unique minimal transitive superset of R. Conversely, transitive reduction adduces a minimal relation S from a given relation R such that they have the same closure, that is, S+ = R+; however, many different S with this property may exist. different S with this property may exist.
, Domknięcie przechodnie relacji dwuargument … Domknięcie przechodnie relacji dwuargumentowej na zbiorze jest to najmniejsza (w sensie inkluzji) relacja przechodnia na zbiorze która zawiera Dla każdej relacji istnieje jej domknięcie przechodnie. Dla dowodu wystarczy zauważyć, że iloczyn dowolnej rodziny relacji przechodnich jest relacją przechodnią. Ponadto dla każdej relacji na zbiorze istnieje co najmniej jedna relacja przechodnia ją zawierająca – mianowicie Wobec tego domknięcie przechodnie relacji można określić jako iloczyn wszystkich relacji przechodnich na ją zawierających. relacji przechodnich na ją zawierających.
, 数学中，集合X上的二元关系 R 的传递闭包是包含R的X上的最小的遞移關係。 例如，如果 X 是由人组成的集合（不论人活着与否）而R是关系“为父子”，则 R 的传递闭包是关系“x 是 y 的祖先”。再比如，如果 X 是空港的集合而关系 xRy 为“从空港 x 到空港 y 有直航”，则 R 的传递闭包是“可能经一次或多次航行从 x 飞到 y”。
, Die transitive Hülle bzw. der transitive A … Die transitive Hülle bzw. der transitive Abschluss einer (zweistelligen) Relation ist eine Erweiterung dieser Relation, die – vereinfacht gesagt – zusätzlich alle indirekt erreichbaren Paare enthält (und damit transitiv ist). Die transitive Hülle kann mit dem Floyd-Warshall-Algorithmus berechnet werden. Die reflexiv-transitive Hülle bzw. den reflexiv-transitiven Abschluss der Relation erhält man, indem man zur transitiven Hülle die für Reflexivität noch fehlenden Paare auf der Diagonalen hinzufügt.lenden Paare auf der Diagonalen hinzufügt.
, De transitieve afsluiting (Nederland) of t … De transitieve afsluiting (Nederland) of transitieve sluiting (Vlaanderen) van een tweeplaatsige relatie op een verzameling is de kleinste transitieve relatie op die de oorspronkelijke relatie omvat. Deze kleinste relatie bestaat altijd, deze kan namelijk als volgt worden geconstrueerd: als er een rij elementen bestaat met en voor Deze vorm van afsluiting, gedefinieerd voor tweeplaatsige relaties, komt overeen met de definitie van afsluiting, gedefinieerd voor verzamelingen. De reflexief-transitieve afsluiting van iedere homogene tweeplaatsige relatie is een preorde.gene tweeplaatsige relatie is een preorde.
, Tranzitivní uzávěr binární relace R je definován jako nejmenší (z hlediska množinové inkluze) tranzitivní nadmnožina R. Matematicky vyjádřeno, pro tranzitivní uzávěr R' binární relace R platí:
|
| rdfs:label |
Транзитивное замыкание
, 传递闭包
, Fecho transitivo
, Транзитивне замикання
, Domknięcie przechodnie
, 推移閉包
, Tranzitivní uzávěr
, Transitieve afsluiting
, Transitive Hülle (Relation)
, Clausura transitiva
, Itxitura iragankor
, Fermeture transitive
, Transitive closure
|
