A data stream is an ordered pair
where:
1. is a sequence of tuples,
2. is the sequence of time intervals (i.e. rational or real numbers) and each