Es decir, "X" → "Z" por virtud de "X" → "Y" e "Y" → "Z".