Search

A quasimodel is an algebraic axiomatisation of the hyperspace structure based on a module. We initiated this structure in our paper [2]. It is a generalisation of the module structure in the sense that every module can be embedded into a quasi module and every quasi module contains a module. The structure a quasimodel is a conglomeration of a commutative semigroup with an external ring multiplication and a compatible partial order. In the entire structure partial order has an intrinsic effect and plays a key role in any development of the theory of quasi module. In the present paper we have discussed order-morphism which is a morphism like concept. Also with the help of the quotient structure of a quasi module by means of a suitable compatible congruence, we have proved order-isomorphism theorem.