Suppose is a -vector space. A mapping is called modular if the following three conditions are satisfied: