definition. sequence [leinster2016basic, sec. 3.1] [tt-003D]
definition. sequence [leinster2016basic, sec. 3.1] [tt-003D]
A function with domain \(\mathbb N\) is usually called a sequence.
Related to § [tt-004T].NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.
A function with domain \(\mathbb N\) is usually called a sequence.
Related to § [tt-004T].