{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics and computer science, the **BIT predicate**, sometimes written $\\text{BIT}(i,j)$, is a predicate that tests whether the $j$th bit of the number $i$ (starting from the least significant bit) is 1, when $i$ is written as a binary number. Its mathematical applications include modeling the membership relation of hereditarily finite sets, and defining the adjacency relation of the Rado graph. In computer science, it is used for efficient representations of set data structures using bit vectors, in defining the private information retrieval problem from communication complexity, and in descriptive complexity theory to formulate logical descriptions of complexity classes.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "NV7Z7XZ8S8"
    ],
    "kind": "concept",
    "name": "BIT predicate",
    "same_as": {
      "wikidata": "Q4835745",
      "wikipedia": "BIT predicate"
    },
    "sources": [
      {
        "locator": "BIT predicate",
        "mention": "wikipedia://en/7639504",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:7639504@r1375441228"
      }
    ],
    "tag": "1VFCE6G5KA"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/1VFCE6G5KA/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/1VFCE6G5KA.md",
  "msc": null,
  "name": "BIT predicate",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/1VF/1VFCE6G5KA.md",
  "status": null,
  "tag": "1VFCE6G5KA",
  "uri": "m2://1VFCE6G5KA",
  "url": "https://math2.tamnd.com/wiki/bit-predicate/",
  "writing": {
    "tag": "1VFCE6G5KA",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}