335 Subsequence
by EngliSea on 2020-07-17
ᐥThe sequence 「a⸤n⸤r⸥⸥」 is a subsequence of the sequence 「a⸤n⸥」 if 「n⸤r⸥」 is a strictly increasing sequence of natural numbers.
「a⸤n⸥ Ƚn→∞」 = L ⇒ 「a⸤n⸤r⸥⸥ Ƚn→∞」 = L
「a⸤n⸥ Ƚn→∞」 = ∞ ⇒ 「a⸤n⸤r⸥⸥ Ƚn→∞」 = ∞ᐥ