Conditional independence ($X\perp \perp Y\mid Z$)

Random variables $X$ and $Y$ are conditionally independent given $Z$ when their conditional joint distribution factorizes into their two conditional marginal distributions almost surely.