on prime element principle in le-modules

In this article, we have extended the notion of oka families for commutative rings and modules to le-modules. we have introduced prime element principle, stated as, for a particular family $f$ of submodule elements of an le-module $m$, submodule element maximal in terms of not belonging to $f$ is prime. as a consequence, many results about the existence of prime elements of le-modules have been established. furthermore, we have provided a method for constructing prime elements in le-modules and proved the existence of maximal $m$-systems, which is employed to characterize minimal prime elements.