Reflexive relation (original) (raw)
في الرياضيات، علاقة انعكاسية أو علاقة عكسية (بالإنجليزية: reflexive relation) هي علاقة ثنائية على مجموعة ما، حيث كل عنصر مرتبط بنفسه في إطار هذه العلاقة. بكلمات أخرى؛ تكون العلاقة ~ انعكاسية على مجموعة S عندما يكون x ~ x صحيحاً من أجل كل عنصر x من S. أبسط مثال على هذه العلاقات هي علاقة التساوي في مجموعة الأعداد الحقيقية، بما أن كل عدد مساوى لنفسه، وتوصف المجموعة عندها بأنها تملك خاصة انعكاسية.
Property | Value |
---|---|
dbo:abstract | في الرياضيات، علاقة انعكاسية أو علاقة عكسية (بالإنجليزية: reflexive relation) هي علاقة ثنائية على مجموعة ما، حيث كل عنصر مرتبط بنفسه في إطار هذه العلاقة. بكلمات أخرى؛ تكون العلاقة ~ انعكاسية على مجموعة S عندما يكون x ~ x صحيحاً من أجل كل عنصر x من S. أبسط مثال على هذه العلاقات هي علاقة التساوي في مجموعة الأعداد الحقيقية، بما أن كل عدد مساوى لنفسه، وتوصف المجموعة عندها بأنها تملك خاصة انعكاسية. (ar) En matemàtiques, una relació reflexiva és una relació binària sobre un conjunt per la qual cada un dels seus elements està relacionat amb si mateix. En altres paraules, una relació ~ sobre un conjunt S és reflexiva quan x ~ x per totes les x de S; formalment: quan es compleix que ∀x∈S: x~x. Un exemple de relació reflexiva és la relació d'igualtat sobre el conjunt de nombres reals, ja que cada nombre real és igual a si mateix. Es diu que una relació reflexiva té la propietat reflexiva o que té reflexivitat. Es diu que una relació binària és quan cap element està relacionat amb si mateix. N'és un exemple la relació de «major que» (x>y) sobre els reals. Noti's que no totes les relacions que no són reflexives són irreflexives: és possible definir una relació sobre un conjunt en què alguns dels elements estan relacionats amb si mateixos però d'altres no. (ca) V logice a matematice se binární relace R na množině X nazývá reflexivní, pokud pro každé a z X platí, že a je v relaci se sebou samým. Formálně zapsáno: Například „je větší nebo rovno“ je reflexivní relace, ale „je větší než“ reflexivní není. Dalšími příklady reflexivních relací jsou: * „je rovno“ * „je podmnožinou“ * „je větší nebo rovno“ * „dělí“ (dělitelnost) Reflexivní relace, která je zároveň tranzitivní, se nazývá kvaziuspořádání. Kvaziuspořádání, které je slabě antisymetrické, se nazývá uspořádání. Kvaziuspořádání, které je symetrické, je relace ekvivalence. Výraz se v některých systémech nazývá axiom rovnosti. (cs) Refleksiva rilato estas rilato, kiu estas por ĉiuj orda duopo . Dupartan rilaton oni nomas refleksiva, kiam: . Rimarku: En ĉi tiu rilato, la argumentaro kaj la celaro estas samaj. Malrefleksiva rilato aŭ kontraŭrefleksiva rilato estas rilato, kiu estas por orda duopo .Duparta rilato estas kontraŭrefleksiva se: . Noto ke malrefleksiva rilato aŭ kontraŭrefleksiva rilato estas la samo. Malsimile al ĉi tio, malsimetria rilato ne estas ĝenerale la samo kiel kontraŭsimetria rilato. (eo) Die Reflexivität einer zweistelligen Relation auf einer Menge ist gegeben, wenn für alle Elemente der Menge gilt, also jedes Element in Relation zu sich selbst steht. Man nennt dann reflexiv. Eine Relation heißt irreflexiv, wenn die Beziehung für kein Element der Menge gilt, also kein Element in Relation zu sich selbst steht. Es gibt auch Relationen, die weder reflexiv noch irreflexiv sind, wenn die Beziehung für einige Elemente der Menge gilt, doch nicht für alle. Die Reflexivität ist eine der Voraussetzungen für eine Äquivalenzrelation oder eine Ordnungsrelation; die Irreflexivität ist eine der Voraussetzungen für eine strikte Ordnungsrelation. (de) En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo. Es decir, . En tal caso, se dice que R cumple con la propiedad de reflexividad. Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún elemento de A está relacionado consigo mismo mediante R, entonces se dice que es irreflexiva, antirreflexiva o antirrefleja, lo que denotamos formalmente por: En este caso, se dice que R cumple con la propiedad de antirreflexividad. (es) Matematikan, multzoan definituriko erlazio bitarra bihurkaria edo erreflexiboa da, baldin -ko elementu oro bere buruarekin -ren bidez erlazionatuta badago. Hau da, Hori gertatzekotan, esaten dugu -k propietate bihurkaria betetzen duela. multzoan ezarritako erlazioa, bikote ordenatuaren bidez adierazten da. Erlazio erreflexiboaren aurkako den erlazioari, hots, -ko inolako elementurik ez badago bere buruarekin -ren bidez erlazionatuta, erlazio antirreflexiboa deritzo; eta honela adierazten da: Hori gertatzekotan, esaten dugu -k propietate antirreflexiboa betetzen duela. (eu) In mathematics, a binary relation R on a set X is reflexive if it relates every element of X to itself. An example of a reflexive relation is the relation "is equal to" on the set of real numbers, since every real number is equal to itself. A reflexive relation is said to have the reflexive property or is said to possess reflexivity. Along with symmetry and transitivity, reflexivity is one of three properties defining equivalence relations. (en) En mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité). Une relation R sur un ensemble X est dite : * réflexive si tout élément de X est R-relié à lui-même :ou encore, si le graphe de R contient la diagonale de X (qui est le graphe de l'égalité) ; * antiréflexive (ou irréflexive) si aucun élément de X n'est R-relié à lui-même :ou encore, si son graphe est disjoint de la diagonale de X. La réflexivité et l'antiréflexivité sont deux propriétés incompatibles (R n'est jamais à la fois réflexive et antiréflexive, sauf si X est l'ensemble vide) mais ne sont pas la négation l'une de l'autre (R peut n'être ni réflexive, ni antiréflexive). (fr) In logica e in matematica, una relazione binaria in un insieme è detta riflessiva se ogni elemento di è in tale relazione con sé stesso. In simboli, è riflessiva se: Per esempio, la relazione "è maggiore o uguale a", definita sull'insieme dei numeri reali, è una relazione riflessiva, in quanto ogni numero reale è maggiore o uguale a sé stesso. Altri esempi di relazioni riflessive sono: * "è uguale a" (uguaglianza); * "è un sottoinsieme di", definita su un insieme di insiemi; * "è minore o uguale a", definita su un insieme ordinato; * "divide" (divisibilità), definita per esempio sui numeri reali. Si noti che, tra tutte le relazioni possibili, solo l'identità è riflessiva su qualunque insieme di definizione, mentre altre relazioni possono essere riflessive solo su una certa classe di termini. Una relazione è detta irriflessiva o antiriflessiva se nessun elemento del suo dominio è in tale relazione con sé stesso. In simboli: Una relazione può essere riflessiva, irriflessiva, o anche nessuna delle due. Ad esempio, una relazione per la quale esiste almeno un elemento che non è in relazione con sé stesso non soddisfa la definizione di riflessività, ma nemmeno necessariamente quella di irriflessività (che è più forte). (it) 수학에서 반사관계(反射關係, reflexive relation)는 임의의 집합 와 여기에 속하는 임의의 원소 에 대해 를 만족하는 이항관계이다. 중 은 Relation을 의미하는 것으로 의 에 대한 관계를 의미한다. (ko) 反射関係(はんしゃかんけい、英: reflexive relation)は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと無反射性 (irreflexivity) のものがある(無反射性の事を非反射性とよぶ文献もある)。なお、ここでの(二項)関係は X × X という形式であり、集合 X からそれ自身への関係である。 (ja) In de verzamelingenleer is een tweeplaatsige relatie tussen elementen in een verzameling reflexief als voor alle elementen geldt dat er een relatie is tussen dat element en zichzelf. Reflexiviteit is een van de voorwaarden voor een equivalentierelatie. (nl) En reflexiv relation i matematiken är en binär relation R för en mängd X där alla element i X är relaterade till sig själva, det vill säga med matematisk notation: Exempelvis är relationen "större än eller lika med" reflexiv, men inte relationen "större än" En irreflexiv relation är en relation där a R a inte gäller för något element, det vill säga: (sv) Relacja zwrotna – relacja, w której każdy element zbioru jest w relacji sam z sobą. Formalnie: relację dwuczłonową nazywa się zwrotną, gdy . Zwrotność jest jedną z definiujących cech praporządków, w tym relacji równoważności i częściowych porządków (skierowań). Relacja przeciwzwrotna – relacja, w której żaden element zbioru nie jest w relacji sam z sobą. Formalnie: relację dwuczłonową nazywa się przeciwzwrotną, gdy (pl) В математиці, бінарне відношення R на множині X є рефлексивним якщо для кожного a ∈ X виконується aRa, тобто Властивість рефлексивності: * матриця рефлексивного відношення характеризується тим, що всі елементи головної діагоналі рівні 1; * граф — тим, що кожна вершина має петлю — дугу (х, х). Якщо ця умова не виконана ні для якого з елементів множини , тоді відношення називається антирефлексивним. Для антирефлексивного відношення: * в матриці всі елементи головної діагоналі дорівнюють нулю * граф такого відношення характеризується тим, що не має жодної петлі — немає дуг вигляду (х, х). Формально антирефлексивність відношення визначається як: . Якщо умова рефлексивності виконана не для всіх елементів множини , тоді кажуть, що відношення нерефлексивне. (uk) Na matemática, uma relação reflexiva é uma relação binária sobre um conjunto em que cada elemento de está relacionado a si mesmo. Formalmente, isso pode ser escrito . Um exemplo de uma relação reflexiva é a relação "é igual a" no conjunto de números reais, já que todo número real é igual a ele mesmo. Diz-se que uma relação reflexiva tem a propriedade reflexiva ou é possuidora de reflexividade. Juntamente com a simetria e a transitividade, a reflexividade é uma das três propriedades que definem as relações de equivalência. (pt) Рефлексивное отношение в математике — бинарное отношение на множестве , при котором всякий элемент этого множества находится в отношении с самим собой. Формально, отношение рефлексивно, если . Свойство рефлексивности отношения при задании матрицей характеризуется тем, что все диагональные элементы матрицы равняются 1; при задании отношения графом каждый элемент х имеет петлю — дугу (х, х). Бинарное отношение на множестве является рефлексивным тогда и только тогда, когда его подмножеством является тождественное отношение на множестве, то есть . Если не имеет смысла, то отношение называется антирефлексивным (или иррефлексивным). Если антирефлексивное отношение задано матрицей, то все диагональные элементы являются нулевыми. При задании такого отношения графом каждая вершина не имеет петли — нет дуг вида (х, х). Формально антирефлексивность отношения определяется как: . Если условие рефлексивности выполнено не для всех элементов множества , говорят, что отношение нерефлексивно. (ru) 自反关系是在逻辑学和数学中一种特殊的二元关系,这样的二元关系被称为自反的,也被称为具有自反性。自反關係的一個例子是關於實數集合的“等於”關係,因為每個實數都等於它自己。对称性、传递性以及自反性是定義等價關係的三個屬性。 (zh) |
dbo:thumbnail | wiki-commons:Special:FilePath/GreaterThanOrEqualTo.png?width=300 |
dbo:wikiPageID | 200458 (xsd:integer) |
dbo:wikiPageLength | 9539 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1122886870 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Binary_relation dbr:Mathematics dbr:Equality_(mathematics) dbc:Reflexive_relations dbr:Antisymmetric_relation dbr:Transitive_relation dbr:Divisor dbr:Equivalence_relation dbr:Even_number dbr:Asymmetric_relation dbc:Binary_relations dbr:Superset dbr:Symmetric_relation dbr:Identity_relation dbr:Reflexive_closure dbr:Coprime dbr:If_and_only_if dbr:Integer dbr:Antitransitive dbr:Natural_number dbr:Real_number dbr:Set_(mathematics) dbr:Undergraduate_Texts_in_Mathematics dbr:Euclidean_relation dbr:Philosophical_logic dbr:Symmetric_closure dbr:Subset dbr:Complementary_relation |
dbp:id | p/r080590 (en) |
dbp:image | GreaterThan.png (en) GreaterThanOrEqualTo.png (en) |
dbp:title | Reflexivity (en) |
dbp:width | 200 (xsd:integer) 250 (xsd:integer) |
dbp:wikiPageUsesTemplate | dbt:Springer dbt:Clear dbt:Em dbt:Multiple_image dbt:Reflist dbt:Short_description dbt:Stack dbt:Visible_anchor dbt:Isbn dbt:Binary_relations dbt:Number_of_relations |
dcterms:subject | dbc:Reflexive_relations dbc:Binary_relations |
gold:hypernym | dbr:Relation |
rdf:type | dbo:Agent |
rdfs:comment | في الرياضيات، علاقة انعكاسية أو علاقة عكسية (بالإنجليزية: reflexive relation) هي علاقة ثنائية على مجموعة ما، حيث كل عنصر مرتبط بنفسه في إطار هذه العلاقة. بكلمات أخرى؛ تكون العلاقة ~ انعكاسية على مجموعة S عندما يكون x ~ x صحيحاً من أجل كل عنصر x من S. أبسط مثال على هذه العلاقات هي علاقة التساوي في مجموعة الأعداد الحقيقية، بما أن كل عدد مساوى لنفسه، وتوصف المجموعة عندها بأنها تملك خاصة انعكاسية. (ar) Refleksiva rilato estas rilato, kiu estas por ĉiuj orda duopo . Dupartan rilaton oni nomas refleksiva, kiam: . Rimarku: En ĉi tiu rilato, la argumentaro kaj la celaro estas samaj. Malrefleksiva rilato aŭ kontraŭrefleksiva rilato estas rilato, kiu estas por orda duopo .Duparta rilato estas kontraŭrefleksiva se: . Noto ke malrefleksiva rilato aŭ kontraŭrefleksiva rilato estas la samo. Malsimile al ĉi tio, malsimetria rilato ne estas ĝenerale la samo kiel kontraŭsimetria rilato. (eo) En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo. Es decir, . En tal caso, se dice que R cumple con la propiedad de reflexividad. Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún elemento de A está relacionado consigo mismo mediante R, entonces se dice que es irreflexiva, antirreflexiva o antirrefleja, lo que denotamos formalmente por: En este caso, se dice que R cumple con la propiedad de antirreflexividad. (es) Matematikan, multzoan definituriko erlazio bitarra bihurkaria edo erreflexiboa da, baldin -ko elementu oro bere buruarekin -ren bidez erlazionatuta badago. Hau da, Hori gertatzekotan, esaten dugu -k propietate bihurkaria betetzen duela. multzoan ezarritako erlazioa, bikote ordenatuaren bidez adierazten da. Erlazio erreflexiboaren aurkako den erlazioari, hots, -ko inolako elementurik ez badago bere buruarekin -ren bidez erlazionatuta, erlazio antirreflexiboa deritzo; eta honela adierazten da: Hori gertatzekotan, esaten dugu -k propietate antirreflexiboa betetzen duela. (eu) In mathematics, a binary relation R on a set X is reflexive if it relates every element of X to itself. An example of a reflexive relation is the relation "is equal to" on the set of real numbers, since every real number is equal to itself. A reflexive relation is said to have the reflexive property or is said to possess reflexivity. Along with symmetry and transitivity, reflexivity is one of three properties defining equivalence relations. (en) 수학에서 반사관계(反射關係, reflexive relation)는 임의의 집합 와 여기에 속하는 임의의 원소 에 대해 를 만족하는 이항관계이다. 중 은 Relation을 의미하는 것으로 의 에 대한 관계를 의미한다. (ko) 反射関係(はんしゃかんけい、英: reflexive relation)は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと無反射性 (irreflexivity) のものがある(無反射性の事を非反射性とよぶ文献もある)。なお、ここでの(二項)関係は X × X という形式であり、集合 X からそれ自身への関係である。 (ja) In de verzamelingenleer is een tweeplaatsige relatie tussen elementen in een verzameling reflexief als voor alle elementen geldt dat er een relatie is tussen dat element en zichzelf. Reflexiviteit is een van de voorwaarden voor een equivalentierelatie. (nl) En reflexiv relation i matematiken är en binär relation R för en mängd X där alla element i X är relaterade till sig själva, det vill säga med matematisk notation: Exempelvis är relationen "större än eller lika med" reflexiv, men inte relationen "större än" En irreflexiv relation är en relation där a R a inte gäller för något element, det vill säga: (sv) Relacja zwrotna – relacja, w której każdy element zbioru jest w relacji sam z sobą. Formalnie: relację dwuczłonową nazywa się zwrotną, gdy . Zwrotność jest jedną z definiujących cech praporządków, w tym relacji równoważności i częściowych porządków (skierowań). Relacja przeciwzwrotna – relacja, w której żaden element zbioru nie jest w relacji sam z sobą. Formalnie: relację dwuczłonową nazywa się przeciwzwrotną, gdy (pl) Na matemática, uma relação reflexiva é uma relação binária sobre um conjunto em que cada elemento de está relacionado a si mesmo. Formalmente, isso pode ser escrito . Um exemplo de uma relação reflexiva é a relação "é igual a" no conjunto de números reais, já que todo número real é igual a ele mesmo. Diz-se que uma relação reflexiva tem a propriedade reflexiva ou é possuidora de reflexividade. Juntamente com a simetria e a transitividade, a reflexividade é uma das três propriedades que definem as relações de equivalência. (pt) 自反关系是在逻辑学和数学中一种特殊的二元关系,这样的二元关系被称为自反的,也被称为具有自反性。自反關係的一個例子是關於實數集合的“等於”關係,因為每個實數都等於它自己。对称性、传递性以及自反性是定義等價關係的三個屬性。 (zh) En matemàtiques, una relació reflexiva és una relació binària sobre un conjunt per la qual cada un dels seus elements està relacionat amb si mateix. En altres paraules, una relació ~ sobre un conjunt S és reflexiva quan x ~ x per totes les x de S; formalment: quan es compleix que ∀x∈S: x~x. Un exemple de relació reflexiva és la relació d'igualtat sobre el conjunt de nombres reals, ja que cada nombre real és igual a si mateix. Es diu que una relació reflexiva té la propietat reflexiva o que té reflexivitat. (ca) V logice a matematice se binární relace R na množině X nazývá reflexivní, pokud pro každé a z X platí, že a je v relaci se sebou samým. Formálně zapsáno: Například „je větší nebo rovno“ je reflexivní relace, ale „je větší než“ reflexivní není. Dalšími příklady reflexivních relací jsou: * „je rovno“ * „je podmnožinou“ * „je větší nebo rovno“ * „dělí“ (dělitelnost) Reflexivní relace, která je zároveň tranzitivní, se nazývá kvaziuspořádání. Kvaziuspořádání, které je slabě antisymetrické, se nazývá uspořádání. Kvaziuspořádání, které je symetrické, je relace ekvivalence. Výraz (cs) Die Reflexivität einer zweistelligen Relation auf einer Menge ist gegeben, wenn für alle Elemente der Menge gilt, also jedes Element in Relation zu sich selbst steht. Man nennt dann reflexiv. Eine Relation heißt irreflexiv, wenn die Beziehung für kein Element der Menge gilt, also kein Element in Relation zu sich selbst steht. Es gibt auch Relationen, die weder reflexiv noch irreflexiv sind, wenn die Beziehung für einige Elemente der Menge gilt, doch nicht für alle. (de) En mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité). Une relation R sur un ensemble X est dite : * réflexive si tout élément de X est R-relié à lui-même :ou encore, si le graphe de R contient la diagonale de X (qui est le graphe de l'égalité) ; * antiréflexive (ou irréflexive) si aucun élément de X n'est R-relié à lui-même :ou encore, si son graphe est disjoint de la diagonale de X. (fr) In logica e in matematica, una relazione binaria in un insieme è detta riflessiva se ogni elemento di è in tale relazione con sé stesso. In simboli, è riflessiva se: Per esempio, la relazione "è maggiore o uguale a", definita sull'insieme dei numeri reali, è una relazione riflessiva, in quanto ogni numero reale è maggiore o uguale a sé stesso. Altri esempi di relazioni riflessive sono: Si noti che, tra tutte le relazioni possibili, solo l'identità è riflessiva su qualunque insieme di definizione, mentre altre relazioni possono essere riflessive solo su una certa classe di termini. (it) Рефлексивное отношение в математике — бинарное отношение на множестве , при котором всякий элемент этого множества находится в отношении с самим собой. Формально, отношение рефлексивно, если . Свойство рефлексивности отношения при задании матрицей характеризуется тем, что все диагональные элементы матрицы равняются 1; при задании отношения графом каждый элемент х имеет петлю — дугу (х, х). Бинарное отношение на множестве является рефлексивным тогда и только тогда, когда его подмножеством является тождественное отношение на множестве, то есть . (ru) В математиці, бінарне відношення R на множині X є рефлексивним якщо для кожного a ∈ X виконується aRa, тобто Властивість рефлексивності: * матриця рефлексивного відношення характеризується тим, що всі елементи головної діагоналі рівні 1; * граф — тим, що кожна вершина має петлю — дугу (х, х). Якщо ця умова не виконана ні для якого з елементів множини , тоді відношення називається антирефлексивним. Для антирефлексивного відношення: * в матриці всі елементи головної діагоналі дорівнюють нулю * граф такого відношення характеризується тим, що не має жодної петлі — немає дуг вигляду (х, х). . (uk) |
rdfs:label | علاقة انعكاسية (ar) Relació reflexiva (ca) Reflexivní relace (cs) Reflexive Relation (de) Refleksiva rilato (eo) Relación reflexiva (es) Erlazio bihurkari (eu) Relasi refleksif (in) Relazione riflessiva (it) Relation réflexive (fr) 반사관계 (ko) 反射関係 (ja) Reflexieve relatie (nl) Reflexive relation (en) Relacja zwrotna (pl) Relação reflexiva (pt) Рефлексивное отношение (ru) Reflexiv relation (sv) 自反关系 (zh) Рефлексивне відношення (uk) |
owl:sameAs | freebase:Reflexive relation wikidata:Reflexive relation dbpedia-ar:Reflexive relation dbpedia-ca:Reflexive relation dbpedia-cs:Reflexive relation dbpedia-de:Reflexive relation dbpedia-eo:Reflexive relation dbpedia-es:Reflexive relation dbpedia-et:Reflexive relation dbpedia-eu:Reflexive relation dbpedia-fa:Reflexive relation dbpedia-fi:Reflexive relation dbpedia-fr:Reflexive relation dbpedia-he:Reflexive relation dbpedia-hr:Reflexive relation dbpedia-hu:Reflexive relation dbpedia-id:Reflexive relation dbpedia-is:Reflexive relation dbpedia-it:Reflexive relation dbpedia-ja:Reflexive relation dbpedia-ko:Reflexive relation dbpedia-lmo:Reflexive relation dbpedia-nl:Reflexive relation dbpedia-pl:Reflexive relation dbpedia-pt:Reflexive relation dbpedia-ru:Reflexive relation dbpedia-simple:Reflexive relation dbpedia-sk:Reflexive relation dbpedia-sl:Reflexive relation dbpedia-sv:Reflexive relation http://ta.dbpedia.org/resource/எதிர்வு_உறவு dbpedia-uk:Reflexive relation http://ur.dbpedia.org/resource/منعکسہ_تعلق dbpedia-vi:Reflexive relation dbpedia-zh:Reflexive relation https://global.dbpedia.org/id/4ohD2 |
prov:wasDerivedFrom | wikipedia-en:Reflexive_relation?oldid=1122886870&ns=0 |
foaf:depiction | wiki-commons:Special:FilePath/GreaterThan.png wiki-commons:Special:FilePath/GreaterThanOrEqualTo.png |
foaf:isPrimaryTopicOf | wikipedia-en:Reflexive_relation |
is dbo:wikiPageDisambiguates of | dbr:Reflexive dbr:Relation |
is dbo:wikiPageRedirects of | dbr:Non-reflexive_relation dbr:Nonreflexive_relation dbr:Quasireflexive_relation dbr:Coreflexive_relation dbr:Reflexive_reduction dbr:Totally_reflexive dbr:Totally_reflexive_relation dbr:Totally_reflexive_relations dbr:Anti-reflexive dbr:Quasi-reflexive_relation dbr:Irreflexive dbr:Irreflexive_relation dbr:Antireflexive dbr:The_reflexive_property dbr:Antireflexive_relation dbr:Irreflexive_kernel dbr:Right_quasi-reflexive dbr:Right_quasi-reflexivity dbr:Partimreflexive dbr:Left_quasi-reflexive dbr:Left_quasi-reflexivity dbr:Reflexive_property dbr:Reflexivity_property dbr:Reflexivity_relation dbr:Aliorelative_relation dbr:Irreflexivity |
is dbo:wikiPageWikiLink of | dbr:Begriffsschrift dbr:Belief_revision dbr:Bell_number dbr:Preorder dbr:Saul_Kripke dbr:Encompassment_ordering dbr:Epistemic_modal_logic dbr:List_of_first-order_theories dbr:Modal_logic dbr:Mereology dbr:Mereotopology dbr:Monoidal_category dbr:Monus dbr:Ontology_chart dbr:Non-reflexive_relation dbr:Nonreflexive_relation dbr:Binary_relation dbr:Algebra_of_sets dbr:Apartness_relation dbr:Homogeneous_relation dbr:List_of_mathematical_jargon dbr:List_of_set_identities_and_relations dbr:Peano_axioms dbr:Relation_(mathematics) dbr:Rewrite_order dbr:Dedekind–MacNeille_completion dbr:Definite_matrix dbr:Dependency_relation dbr:Dynamic_epistemic_logic dbr:Index_of_philosophy_articles_(R–Z) dbr:Intersection_type_discipline dbr:Intuitionistic_type_theory dbr:Order_isomorphism dbr:Tarski's_axioms dbr:Pseudo-order dbr:Robertson–Seymour_theorem dbr:Whitehead's_point-free_geometry dbr:Quasireflexive_relation dbr:1/3–2/3_conjecture dbr:Construction_of_the_real_numbers dbr:Coreflexive_relation dbr:Material_conditional dbr:Mathematical_induction dbr:Norm_(mathematics) dbr:Order_theory dbr:Quasitransitive_relation dbr:Sahlqvist_formula dbr:Quotient_by_an_equivalence_relation dbr:Rado_graph dbr:Einstein_synchronisation dbr:Elementary_algebra dbr:Equality_(mathematics) dbr:Congruence_relation dbr:Converse_relation dbr:Equinumerosity dbr:Equivalence_class dbr:Reflexive_reduction dbr:Totally_reflexive dbr:Totally_reflexive_relation dbr:Totally_reflexive_relations dbr:Anti-reflexive dbr:Antisymmetric_relation dbr:Closure_(mathematics) dbr:Component_(graph_theory) dbr:Composition_of_relations dbr:Dense_order dbr:Identity_of_indiscernibles dbr:Kripke_semantics dbr:Parallel_(geometry) dbr:Partial_equivalence_relation dbr:Specialization_(pre)order dbr:Many-one_reduction dbr:Admissible_rule dbr:Total_order dbr:Transitive_relation dbr:Weak_ordering dbr:Well-founded_relation dbr:Well-quasi-ordering dbr:Hartogs_number dbr:Heap_(mathematics) dbr:Logical_matrix dbr:Partial_cube dbr:5-Con_triangles dbr:DE-9IM dbr:Dyck_language dbr:Equivalence_relation dbr:Filter_(set_theory) dbr:Filters_in_topology dbr:Finitary_relation dbr:Foliation dbr:Parity_of_zero dbr:Partially_ordered_set dbr:Causal_sets dbr:Causal_structure dbr:Direct_product dbr:Directed_set dbr:Glossary_of_order_theory dbr:Isomorphism dbr:Item_tree_analysis dbr:Szpilrajn_extension_theorem dbr:Predicate_functor_logic dbr:Preference_(economics) dbr:Prefix_order dbr:Preorder_(disambiguation) dbr:Quasi-reflexive_relation dbr:Rational_consequence_relation dbr:Reduction_(complexity) dbr:Reflexive dbr:Reflexivity dbr:Relation dbr:Relation_algebra dbr:Relational_operator dbr:Hibernate_(framework) dbr:Asymmetric_relation dbr:Irreflexive dbr:Irreflexive_relation dbr:Counterpart_theory dbr:Temporal_logic dbr:Term_(logic) dbr:Marxist_historiography dbr:Absolute_continuity dbr:Biordered_set dbr:Symmetric_relation dbr:Cofinal_(mathematics) dbr:Coherent_space dbr:Tolerance dbr:Tolerance_relation dbr:Zeroth_law_of_thermodynamics dbr:Zorn's_lemma dbr:Modal_companion dbr:Reduction_(computability_theory) dbr:Reflexive_closure dbr:Dominance-based_rough_set_approach dbr:Marxism dbr:Greatest_element_and_least_element dbr:Antireflexive dbr:The_reflexive_property dbr:Inequality_(mathematics) dbr:Antireflexive_relation dbr:Meronomy dbr:Metaclass_(Semantic_Web) dbr:Cantor's_isomorphism_theorem dbr:Category_(mathematics) dbr:Set_theory_(music) dbr:Topological_indistinguishability dbr:Well-structured_transition_system dbr:Euclidean_relation dbr:Implementation_of_mathematics_in_set_theory dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:S5_(modal_logic) dbr:Tarski's_axiomatization_of_the_reals dbr:Finite_topological_space dbr:ST_type_theory dbr:Political_argument dbr:Irreflexive_kernel dbr:Non-classical_logic dbr:Outline_of_discrete_mathematics dbr:Outline_of_logic dbr:Right_quasi-reflexive dbr:Right_quasi-reflexivity dbr:Partimreflexive dbr:Left_quasi-reflexive dbr:Left_quasi-reflexivity dbr:Reflexive_property dbr:Reflexivity_property dbr:Reflexivity_relation dbr:Aliorelative_relation dbr:Irreflexivity |
is foaf:primaryTopic of | wikipedia-en:Reflexive_relation |