Definition (C-relevant). Say that (U,V) is C-relevant to (X,Y) if

d[U;X]+d[V;Y]Cd[X;Y].