Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search



co- +‎ final


cofinal (not comparable)

  1. (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.
    The Archimedean property of real numbers means that the natural numbers form a cofinal subset of ℝ.
    • 2007 November 29, Manfred Kupffer, “An Unintentional Defense of the Indeterminacy of Meaning?”, in Erkenntnis, volume 68, number 2, DOI:10.1007/s10670-007-9090-x:
      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.