cofinal


cofinal

[kō′fīn·əl] (mathematics) A subset C of a directed set D is cofinal if for each element of D there is a larger element in C.