Real submodule