دنبالۀ کاهشی

{descending sequence} [ریاضی] دنباله ای از عناصر در یک مجموعۀ جزئی مرتب به طوری که هر عضو دنباله نابیشتر از عضو قبلی باشد