Si "Y" depende funcionalmente de "X" y "Z" de "Y", pero "X" no depende funcionalmente de "Y", se dice entonces que "Z" depende transitivamente de "X".