In order theory, a subset đ of a poset đ such that for any element of đ, there exists an element of đ larger than it