A finite sequence is a list or collection of elements that has a specific beginning and end, with a definite number of terms. It is a fundamental concept in the study of arithmetic sequences, which are a type of sequence where the difference between consecutive terms is constant.