cofinal,
adj.
(of a subset D of a set E with a
partial ordering
≥) having the property that for any
x
in E there exists
y
in D with
y
≥
x.
