"extensional" meaning in English

{
  "derived": [
    {
      "_dis1": "0 0",
      "word": "extensional definition"
    },
    {
      "_dis1": "0 0",
      "word": "extensionally"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "extension",
        "3": "al"
      },
      "expansion": "extension + -al",
      "name": "suffix"
    }
  ],
  "etymology_text": "From extension + -al.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "extensional (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "related": [
    {
      "_dis1": "0 0",
      "word": "intensional"
    }
  ],
  "senses": [
    {
      "categories": [],
      "examples": [
        {
          "ref": "2011 July 20, Edwin Mares, “Propositional Functions”, in The Stanford Encyclopedia of Philosophy, retrieved 2012-07-15",
          "text": "In both the intensional and extensional logic traditions, we see theories of complex terms. In the extensional tradition, disjunctive and conjunctive terms are interpreted by taking the union and intersection of classes. The conjunctive term AB is interpreted as the intersection of the class A and the class B and the extension of the disjunctive term A+B is understood as the union of the extensions of A and B.\nIn the intensional tradition, the reverse holds. The term AB is interpreted as the union of the properties in the intent of A and the intent of B and A+B is interpreted as the intersection of the properties in A and B. This reversal makes sense, since more things fit a smaller number of properties and fewer things fit a larger number of properties.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Of or pertaining to extension."
      ],
      "id": "en-extensional-en-adj-B0LPmj7G",
      "links": [
        [
          "extension",
          "extension"
        ]
      ],
      "tags": [
        "not-comparable"
      ]
    },
    {
      "categories": [
        {
          "_dis": "6 94",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "0 100",
          "kind": "other",
          "name": "English terms suffixed with -al",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "0 100",
          "kind": "other",
          "name": "Pages with 2 entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Having great extent."
      ],
      "id": "en-extensional-en-adj-oZATpBMm",
      "links": [
        [
          "extent",
          "extent"
        ]
      ],
      "tags": [
        "not-comparable"
      ]
    }
  ],
  "word": "extensional"
}

{
  "categories": [
    "English adjectives",
    "English entries with incorrect language header",
    "English lemmas",
    "English terms suffixed with -al",
    "English uncomparable adjectives",
    "Pages with 2 entries"
  ],
  "derived": [
    {
      "word": "extensional definition"
    },
    {
      "word": "extensionally"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "extension",
        "3": "al"
      },
      "expansion": "extension + -al",
      "name": "suffix"
    }
  ],
  "etymology_text": "From extension + -al.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "extensional (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "related": [
    {
      "word": "intensional"
    }
  ],
  "senses": [
    {
      "categories": [
        "English terms with quotations"
      ],
      "examples": [
        {
          "ref": "2011 July 20, Edwin Mares, “Propositional Functions”, in The Stanford Encyclopedia of Philosophy, retrieved 2012-07-15",
          "text": "In both the intensional and extensional logic traditions, we see theories of complex terms. In the extensional tradition, disjunctive and conjunctive terms are interpreted by taking the union and intersection of classes. The conjunctive term AB is interpreted as the intersection of the class A and the class B and the extension of the disjunctive term A+B is understood as the union of the extensions of A and B.\nIn the intensional tradition, the reverse holds. The term AB is interpreted as the union of the properties in the intent of A and the intent of B and A+B is interpreted as the intersection of the properties in A and B. This reversal makes sense, since more things fit a smaller number of properties and fewer things fit a larger number of properties.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Of or pertaining to extension."
      ],
      "links": [
        [
          "extension",
          "extension"
        ]
      ],
      "tags": [
        "not-comparable"
      ]
    },
    {
      "glosses": [
        "Having great extent."
      ],
      "links": [
        [
          "extent",
          "extent"
        ]
      ],
      "tags": [
        "not-comparable"
      ]
    }
  ],
  "word": "extensional"
}