Temporal algebra