Infi-1 7
Monotonically non-descending sequence (עולה) definition
Monotonically ascending sequence (עולה ממש) definition
Monotonically non-ascending sequence (ירדת) definition
Monotonically descending sequence (ירדת ממש) definition
Note
Properties of monotonic sequences lemma