cofinal
adjective
- a subset π΄ of a directed set π· is cofinal if for every element π β π·, there is an element π β π΄ such that π β€ π
Wiktionary
adj
Etymology: From co- + final.
- 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.β