 The condition for the new dependence atoms \(\eqord(x_1 \ldots x_n, y)\), which correspond to the statement that the value of \(y\) is a function of the values of \(x_1 \ldots x_n\), is easily understood: