{"id":"Q621850","label":"reflexive relation","description":"binary relation over a set in which every element is related to itself","aliases":[],"kind":"thing","url":"https://aidb.si/e/reflexive-relation-Q621850","image":null,"coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Reflexive_relation","wikidata":"https://www.wikidata.org/wiki/Q621850","website":null,"facts":[{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q54938846","label":"endorelation","url":"https://aidb.si/e/endorelation-Q54938846","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P461","label":"Opposite of","values":[{"type":"entity","id":"Q1097991","label":"irreflexive relation","url":"https://aidb.si/e/irreflexive-relation-Q1097991","rank":"normal","qualifiers":{"P1013":{"label":"Criterion used","values":[{"type":"entity","id":"Q126695","label":"universal quantification","url":"https://aidb.si/e/universal-quantification-Q126695"}]}},"sources":[]},{"type":"entity","id":"Q25501510","label":"non-reflexive relation","url":"https://aidb.si/e/non-reflexive-relation-Q25501510","rank":"normal","qualifiers":{"P1013":{"label":"Criterion used","values":[{"type":"entity","id":"Q773483","label":"existential quantification","url":"https://aidb.si/e/existential-quantification-Q773483"}]}},"sources":[]},{"type":"entity","id":"Q115136723","label":"non-reflexive relation","url":"https://aidb.si/e/non-reflexive-relation-Q115136723","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2534","label":"Defining formula","values":[{"type":"string","value":"\\forall a \\in X (a R a)","rank":"normal","qualifiers":{},"sources":[{"statedIn":{"id":"Q54932753","label":"Mathematical Foundations of Computational Engineering"}}]}]},{"property":"P1552","label":"Has characteristic","values":[{"type":"entity","id":"Q54933018","label":"reflexivity","url":"https://aidb.si/e/reflexivity-Q54933018","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P7235","label":"In defining formula","values":[{"type":"string","value":"R","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q130901","label":"binary relation","url":"https://aidb.si/e/binary-relation-Q130901"}]}},"sources":[]},{"type":"string","value":"X","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q36161","label":"set","url":"https://aidb.si/e/set-Q36161"}]}},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P1417","label":"Encyclopædia Britannica Online ID","value":"topic/nonreflexive-relation","url":"https://www.britannica.com/topic/nonreflexive-relation"},{"pid":"P646","label":"Freebase ID","value":"/m/01cgt8","url":"https://www.google.com/search?kgmid=/m/01cgt8"},{"pid":"P11514","label":"Great Russian Encyclopedia portal ID","value":"refleksivnost-v-matematike-205879","url":"https://bigenc.ru/c/refleksivnost-v-matematike-205879"},{"pid":"P2812","label":"MathWorld ID","value":"Reflexive","url":"https://mathworld.wolfram.com/Reflexive.html"},{"pid":"P12888","label":"Metamath statement ID","value":"df-reflexive","url":"https://us.metamath.org/mpeuni/df-reflexive.html"},{"pid":"P6366","label":"Microsoft Academic ID (discontinued)","value":"187858380","url":"https://web.archive.org/web/https://academic.microsoft.com/v2/detail/187858380"},{"pid":"P3417","label":"Quora topic ID","value":"Reflexive-Relations","url":"https://www.quora.com/topic/Reflexive-Relations"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-08-27T19:54:45Z"}