Topology On BCK-Modules

In this paper, we introduce the notion of a BCK-topological module in a natural way and establish that every decreasing sequence of submodules on a BCK-module M over bounded commutative BCK-algebra X is indeed a BCK- topological module. We have defined the notion of compatible and strict BCK- module homomorphisms, and establish that a strict BCK-module homomorphism is an open as well as a continuous mapping. Also, we establish the necessary and sufficient condition for a compatible mapping to be strict.