Lattices of functional dependences

One random variable may be a function of another random variable and this relation defines a lattice structure on the power set of random variables. Lattice theory is a well developed theory that can be used to give new insight into conditional independence, Bayesian networks and non-Shannon inequalities.