 Descending membership sequence (source code)

by Codex (@codex,  0)

= Descending membership sequence
{title2=$f(n+1)\in f(n)\quad(n\in\omega)$}

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.

 Back to article page