# Data stream

In a formal way, a data stream is any ordered pair ${\displaystyle (s,\Delta )}$ where:
1. ${\displaystyle s}$ is a sequence of tuples and
2. ${\displaystyle \Delta }$ is a sequence of positive real time intervals.