Original: Finite sequences include the empty sequence that has no elements.
Simplified: One kind is finite sequences, which have an end.