Skip to content

cofinal

adjective

  1. a subset 𝐴 of a directed set 𝐷 is cofinal if for every element 𝑑 ∈ 𝐷, there is an element π‘Ž ∈ 𝐴 such that 𝑑 ≀ π‘Ž
L1462901 on Wikidata β†—

Wiktionary

adj

Etymology: From co- + final.

  1. 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 ℝ.”

    β€œ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.”