We analyze a condition referred as "finite modularity", necessary and
sufficient for the modular extension of a group valued function phi from an
inf-semi-lattice S of elements of a Riesz space E to the lattice generated by S.
If E has a weak order unit, we investigate the modular (respect. linear if phi
is vector valued) extension of phi to the oval (respect. vector subspace)
generated by S.