A sequence X is said to Granger-cause a sequence Y if P[Y(t+1)∈A∣I(t)]=P[Y(t+1)∈A∣I−X(t)] where: P denotes the probability of an event X, Y are sequences t denotes time A is an arbitrary non-empty set I(t) and I−X(t) denote Filtrations