Two extension theorems. Modular functions on complemented lattices

We prove an extension theorem for modular functions on arbitrary lattices and an extension theorem for measures on orthomodular lattices. The first is used to obtain a representation of modular vector-valued functions defined on complemented lattices by measures on Boolean algebras. With the aid of this representation theorem we transfer control measure theorems, Vitali-Hahn-Saks and Nikodym theorems and the Liapunoff theorem about the range of measures to the setting of modular functions on complemented lattices.