  Rosenfeld's fundamental measure theory for lattice models is given a rigorous
formulation in terms of the theory of Mobius functions of partially ordered
sets. The free-energy density functional is expressed as an expansion in a
finite set of lattice clusters. This set is endowed a partial order, so that
the coefficients of the cluster expansion are connected to its Mobius function.
Because of this, it is rigorously proven that a unique such expansion exists
for any lattice model. The low-density analysis of the free-energy functional
motivates a redefinition of the basic clusters (zero-dimensional cavities)
which guarantees a correct zero-density limit of the pair and triplet direct
correlation functions. This new definition extends Rosenfeld's theory to
lattice model with any kind of short-range interaction (repulsive or
attractive, hard or soft, one- or multi-component...). Finally, a proof is
given that these functionals have a consistent dimensional reduction, i.e. the
functional for dimension d' can be obtained from that for dimension d (d'<d) if
the latter is evaluated at a density profile confined to a d'-dimensional
subset.
