"cofinality" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "cofinal",
        "4": "-ity",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish final\nEnglish cofinal\nProto-Indo-European *-teh₂\nProto-Indo-European *-ts\nProto-Indo-European *-teh₂ts\nLatin -itāsder.\nOld French -itebor.\nMiddle English -ite\nEnglish -ity\nEnglish cofinality\n[Appendix:Glossary#derived_terms|Derived]] from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"bringing together\", \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"beside\", \"children\" : [ { \"terms\" : [ { \"is_uncertain\" : true, \"id\" : \"here\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱe\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱóm\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom-\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Latin\", \"term\" : \"con-\", \"lang\" : \"la\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"lang_name\" : \"Latin\", \"term\" : \"co-\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword\" : \"derived\" } ], \"lang_name\" : \"English\", \"term\" : \"co-\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ ], \"lang_name\" : \"English\", \"term\" : \"final\", \"status\" : \"missing\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"cofinal\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ { \"terms\" : [ { \"children\" : [ { \"keyword_abbrev\" : \"bor.\", \"keyword_label\" : \"Borrowed from\", \"terms\" : [ { \"children\" : [ { \"keyword_abbrev\" : \"der.\", \"keyword_label\" : \"Derived from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"-ty\", \"children\" : [ { \"terms\" : [ { \"children\" : [ ], \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-teh₂\", \"status\" : \"ok\", \"lang\" : \"ine-pro\" }, { \"children\" : [ ], \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-ts\", \"status\" : \"missing\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-teh₂ts\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Latin\", \"term\" : \"-itās\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword\" : \"derived\" } ], \"lang_name\" : \"Old French\", \"term\" : \"-ite\", \"status\" : \"inline\", \"lang\" : \"fro\" } ], \"keyword\" : \"bor\" } ], \"lang_name\" : \"Middle English\", \"term\" : \"-ite\", \"status\" : \"ok\", \"lang\" : \"enm\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"English\", \"term\" : \"-ity\", \"status\" : \"ok\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"cofinality\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"cofinality\">\nFrom cofinal + -ity.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish final\nEnglish cofinal\nProto-Indo-European *-teh₂\nProto-Indo-European *-ts\nProto-Indo-European *-teh₂ts\nLatin -itāsder.\nOld French -itebor.\nMiddle English -ite\nEnglish -ity\nEnglish cofinality\nFrom cofinal + -ity.",
  "forms": [
    {
      "form": "cofinalities",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "cofinality (countable and uncountable, plural cofinalities)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "_dis1": "0 0",
      "word": "cofinal"
    },
    {
      "_dis1": "0 0",
      "word": "coinitial"
    },
    {
      "_dis1": "0 0",
      "word": "coinitiality"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "46 54",
          "kind": "other",
          "name": "English entries referencing pages with etymology sections missing etymons",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "English entries with etymon",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "58 42",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "54 46",
          "kind": "other",
          "name": "English terms suffixed with -ity",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "58 42",
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "54 46",
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "57 43",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "58 42",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "50 50",
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "49 51",
          "kind": "other",
          "name": "Pages with etymon",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "58 42",
          "kind": "other",
          "name": "Terms with Polish translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "61 39",
          "kind": "other",
          "name": "Terms with Spanish translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              4,
              14
            ]
          ],
          "text": "The cofinality of any set with a greatest element is 1.",
          "type": "example"
        },
        {
          "bold_text_offsets": [
            [
              19,
              29
            ],
            [
              240,
              250
            ]
          ],
          "ref": "2024 November 12, Steffen Lempp, Alberto Marcone, Manlio Valenti, “Chains and antichains in the Weihrauch lattice”, in arXiv, page 1, archived from the original on 23 Jun 2026:",
          "text": "The dual notion of cofinality is coinitiality: a set S#92;subseteqP is called coinitial if for every p#92;inP there is q#92;inS such that q#92;lep. Equivalently, a coinitial set in P is a cofinal set in P#92;ast#58;#61;(P,#92;ge). […] Both cofinality and coinitiality need not be well-defined for an arbitrary partial order (e.g. if the partial order is only made of two incomparable elements).",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The least cardinality of a cofinal subset of a partially ordered set."
      ],
      "id": "en-cofinality-en-noun-LDrTZlnO",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "cardinality",
          "cardinality"
        ],
        [
          "cofinal",
          "cofinal"
        ],
        [
          "subset",
          "subset"
        ],
        [
          "partially ordered set",
          "partially ordered set"
        ]
      ],
      "raw_glosses": [
        "(mathematics, countable) The least cardinality of a cofinal subset of a partially ordered set."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "69 31",
          "code": "es",
          "lang": "Spanish",
          "lang_code": "es",
          "sense": "the least of cardinalities of cofinal subsets",
          "tags": [
            "feminine"
          ],
          "word": "cofinalidad"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "46 54",
          "kind": "other",
          "name": "English entries referencing pages with etymology sections missing etymons",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "English entries with etymon",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "54 46",
          "kind": "other",
          "name": "English terms suffixed with -ity",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "54 46",
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "50 50",
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "49 51",
          "kind": "other",
          "name": "Pages with etymon",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "The property of being cofinal."
      ],
      "id": "en-cofinality-en-noun-3IkEGltR",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "cofinal",
          "cofinal#English"
        ]
      ],
      "raw_glosses": [
        "(mathematics, uncountable) The property of being cofinal."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "12 88",
          "code": "pl",
          "lang": "Polish",
          "lang_code": "pl",
          "sense": "the property of being cofinal",
          "tags": [
            "feminine"
          ],
          "word": "współkońcowość"
        }
      ]
    }
  ],
  "word": "cofinality"
}

{
  "categories": [
    "English countable nouns",
    "English entries referencing pages with etymology sections missing etymons",
    "English entries with etymology texts",
    "English entries with etymology trees",
    "English entries with etymon",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms derived from the Proto-Indo-European word *ḱe",
    "English terms derived from the Proto-Indo-European word *ḱóm",
    "English terms suffixed with -ity",
    "English uncountable nouns",
    "Entries with translation boxes",
    "Pages using etymon with no ID",
    "Pages with 1 entry",
    "Pages with entries",
    "Pages with etymology trees",
    "Pages with etymon",
    "Terms with Polish translations",
    "Terms with Spanish translations"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "cofinal",
        "4": "-ity",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish final\nEnglish cofinal\nProto-Indo-European *-teh₂\nProto-Indo-European *-ts\nProto-Indo-European *-teh₂ts\nLatin -itāsder.\nOld French -itebor.\nMiddle English -ite\nEnglish -ity\nEnglish cofinality\n[Appendix:Glossary#derived_terms|Derived]] from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"bringing together\", \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"beside\", \"children\" : [ { \"terms\" : [ { \"is_uncertain\" : true, \"id\" : \"here\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱe\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱóm\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom-\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Latin\", \"term\" : \"con-\", \"lang\" : \"la\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"lang_name\" : \"Latin\", \"term\" : \"co-\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword\" : \"derived\" } ], \"lang_name\" : \"English\", \"term\" : \"co-\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ ], \"lang_name\" : \"English\", \"term\" : \"final\", \"status\" : \"missing\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"cofinal\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ { \"terms\" : [ { \"children\" : [ { \"keyword_abbrev\" : \"bor.\", \"keyword_label\" : \"Borrowed from\", \"terms\" : [ { \"children\" : [ { \"keyword_abbrev\" : \"der.\", \"keyword_label\" : \"Derived from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"-ty\", \"children\" : [ { \"terms\" : [ { \"children\" : [ ], \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-teh₂\", \"status\" : \"ok\", \"lang\" : \"ine-pro\" }, { \"children\" : [ ], \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-ts\", \"status\" : \"missing\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-teh₂ts\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Latin\", \"term\" : \"-itās\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword\" : \"derived\" } ], \"lang_name\" : \"Old French\", \"term\" : \"-ite\", \"status\" : \"inline\", \"lang\" : \"fro\" } ], \"keyword\" : \"bor\" } ], \"lang_name\" : \"Middle English\", \"term\" : \"-ite\", \"status\" : \"ok\", \"lang\" : \"enm\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"English\", \"term\" : \"-ity\", \"status\" : \"ok\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"cofinality\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"cofinality\">\nFrom cofinal + -ity.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish final\nEnglish cofinal\nProto-Indo-European *-teh₂\nProto-Indo-European *-ts\nProto-Indo-European *-teh₂ts\nLatin -itāsder.\nOld French -itebor.\nMiddle English -ite\nEnglish -ity\nEnglish cofinality\nFrom cofinal + -ity.",
  "forms": [
    {
      "form": "cofinalities",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "cofinality (countable and uncountable, plural cofinalities)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "cofinal"
    },
    {
      "word": "coinitial"
    },
    {
      "word": "coinitiality"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English terms with quotations",
        "English terms with usage examples",
        "en:Mathematics"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              4,
              14
            ]
          ],
          "text": "The cofinality of any set with a greatest element is 1.",
          "type": "example"
        },
        {
          "bold_text_offsets": [
            [
              19,
              29
            ],
            [
              240,
              250
            ]
          ],
          "ref": "2024 November 12, Steffen Lempp, Alberto Marcone, Manlio Valenti, “Chains and antichains in the Weihrauch lattice”, in arXiv, page 1, archived from the original on 23 Jun 2026:",
          "text": "The dual notion of cofinality is coinitiality: a set S#92;subseteqP is called coinitial if for every p#92;inP there is q#92;inS such that q#92;lep. Equivalently, a coinitial set in P is a cofinal set in P#92;ast#58;#61;(P,#92;ge). […] Both cofinality and coinitiality need not be well-defined for an arbitrary partial order (e.g. if the partial order is only made of two incomparable elements).",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The least cardinality of a cofinal subset of a partially ordered set."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "cardinality",
          "cardinality"
        ],
        [
          "cofinal",
          "cofinal"
        ],
        [
          "subset",
          "subset"
        ],
        [
          "partially ordered set",
          "partially ordered set"
        ]
      ],
      "raw_glosses": [
        "(mathematics, countable) The least cardinality of a cofinal subset of a partially ordered set."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "English uncountable nouns",
        "en:Mathematics"
      ],
      "glosses": [
        "The property of being cofinal."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "cofinal",
          "cofinal#English"
        ]
      ],
      "raw_glosses": [
        "(mathematics, uncountable) The property of being cofinal."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "es",
      "lang": "Spanish",
      "lang_code": "es",
      "sense": "the least of cardinalities of cofinal subsets",
      "tags": [
        "feminine"
      ],
      "word": "cofinalidad"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "lang_code": "pl",
      "sense": "the property of being cofinal",
      "tags": [
        "feminine"
      ],
      "word": "współkońcowość"
    }
  ],
  "word": "cofinality"
}