"cofinal" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "co-",
        "4": "final",
        "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\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\" }\" data-lang=\"en\" data-title=\"cofinal\">\nFrom co- + final.",
      "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\nFrom co- + final.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "cofinal (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries referencing missing etymons",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries referencing pages with etymology sections missing etymons",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymon",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms prefixed with co-",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with etymon",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Polish translations",
          "parents": [],
          "source": "w"
        }
      ],
      "derived": [
        {
          "word": "cofinality"
        },
        {
          "word": "cofinally"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              79,
              86
            ]
          ],
          "text": "The Archimedean property of real numbers means that the natural numbers form a cofinal subset of ℝ.",
          "type": "example"
        },
        {
          "bold_text_offsets": [
            [
              262,
              269
            ]
          ],
          "ref": "2007 November 29, Manfred Kupffer, “An Unintentional Defense of the Indeterminacy of Meaning?”, in Erkenntnis, volume 68, number 2, →DOI:",
          "text": "In order to apply this result to Quine’s project of radical translation, we take X to be the set of all Native observation sentences and construe an observational sub-language that contains only observation sentences and all their syntactic parts such that X is cofinal in the set of expressions of the sub-language.",
          "type": "quotation"
        },
        {
          "bold_text_offsets": [
            [
              19,
              26
            ],
            [
              188,
              195
            ],
            [
              240,
              247
            ]
          ],
          "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": [
        "Of a subset of a partially ordered set; containing elements at least as late as any given element of the set, relative to the given partial order."
      ],
      "id": "en-cofinal-en-adj-3gfsFdIS",
      "links": [
        [
          "partially ordered set",
          "partially ordered set#English"
        ]
      ],
      "raw_glosses": [
        "(order theory) Of a subset of a partially ordered set; containing elements at least as late as any given element of the set, relative to the given partial order."
      ],
      "related": [
        {
          "word": "coinitial"
        },
        {
          "word": "coinitiality"
        }
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "mathematics",
        "order-theory",
        "sciences"
      ],
      "translations": [
        {
          "code": "pl",
          "lang": "Polish",
          "lang_code": "pl",
          "sense": "containing elements at least as late as any given element of the containing set",
          "tags": [
            "masculine"
          ],
          "word": "współkońcowy"
        }
      ]
    }
  ],
  "word": "cofinal"
}

{
  "derived": [
    {
      "word": "cofinality"
    },
    {
      "word": "cofinally"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "co-",
        "4": "final",
        "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\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\" }\" data-lang=\"en\" data-title=\"cofinal\">\nFrom co- + final.",
      "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\nFrom co- + final.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "cofinal (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "related": [
    {
      "word": "coinitial"
    },
    {
      "word": "coinitiality"
    }
  ],
  "senses": [
    {
      "categories": [
        "English adjectives",
        "English entries referencing missing etymons",
        "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 terms derived from the Proto-Indo-European word *ḱe",
        "English terms derived from the Proto-Indo-European word *ḱóm",
        "English terms prefixed with co-",
        "English terms with quotations",
        "English terms with usage examples",
        "English uncomparable adjectives",
        "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"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              79,
              86
            ]
          ],
          "text": "The Archimedean property of real numbers means that the natural numbers form a cofinal subset of ℝ.",
          "type": "example"
        },
        {
          "bold_text_offsets": [
            [
              262,
              269
            ]
          ],
          "ref": "2007 November 29, Manfred Kupffer, “An Unintentional Defense of the Indeterminacy of Meaning?”, in Erkenntnis, volume 68, number 2, →DOI:",
          "text": "In order to apply this result to Quine’s project of radical translation, we take X to be the set of all Native observation sentences and construe an observational sub-language that contains only observation sentences and all their syntactic parts such that X is cofinal in the set of expressions of the sub-language.",
          "type": "quotation"
        },
        {
          "bold_text_offsets": [
            [
              19,
              26
            ],
            [
              188,
              195
            ],
            [
              240,
              247
            ]
          ],
          "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": [
        "Of a subset of a partially ordered set; containing elements at least as late as any given element of the set, relative to the given partial order."
      ],
      "links": [
        [
          "partially ordered set",
          "partially ordered set#English"
        ]
      ],
      "raw_glosses": [
        "(order theory) Of a subset of a partially ordered set; containing elements at least as late as any given element of the set, relative to the given partial order."
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "mathematics",
        "order-theory",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "pl",
      "lang": "Polish",
      "lang_code": "pl",
      "sense": "containing elements at least as late as any given element of the containing set",
      "tags": [
        "masculine"
      ],
      "word": "współkońcowy"
    }
  ],
  "word": "cofinal"
}