Local semantics of conditional independence

A node $X$ is conditionally independent of its non-descendants (e.g. $Z_{i,j}$) given its parents ($U_i$).