Por todo lo siguiente, sea "G" = ("V", "E") un gráfico acíclico dirigido (o DAG), y sea "X" = ("X") un conjunto de variables aleatorias indexadas por "V".