This article contains some definitions and properties refering to function spaces formed by partial functions defined over a measurable space. We formalized a function space, the so-called L space and proved that the space turns out to be a normed space. The formalization of a real function space was given in [16]. The set of all function forms additive… (More)