Ciąg – przyporządkowanie wszystkim kolejnym liczbom naturalnym (czasami ograniczonych do liczb nie większych niż ) elementów z pewnego ustalonego zbioru. W przypadku bez ograniczeń jest to ciąg nieskończony, a w przeciwnym – ciąg skończony lub -elementowy.
Każdej liczbie naturalnej jest przyporządkowywany tylko jeden element, oznaczany zwykle Elementy zwane są zwykle wyrazami ciągu. W odróżnieniu od elementów zbioru, kolejność wyrazów ciągu jest istotna, a ta sama wartość może wystąpić w ciągu wielokrotnie. Rozważając kilka ciągów równocześnie, kolejne z nich oznacza się najczęściej według alfabetu, natomiast ich wyrazy zapisywane są wówczas jako itd.
Definicja i oznaczenia W szerszym sensie ciąg to dowolna funkcja określona na dowolnym zbiorze izomorficznym w sensie struktury porządkowej z pewnym podzbiorem zbioru liczb naturalnych i o wartościach należących do pewnego zbioru . Zbiór nazywa się zbiorem wskaźników lub indeksów, a jego elementy – wskaźnikami bądź indeksami. Jeśli zbiór wskaźników jest skończony, to sam ciąg również nazywa się skończonym.