cofinal in Polish

(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.