n (mathematics|order theory) A subset of a poset which contains any descending chain which starts at any element of itself.