 Descending membership sequence

A descending membership sequence is a function on the natural numbers with each next value a member of the preceding value. Foundation excludes it: the range is a nonempty set with no member disjoint from that range.