Separation for modules