Beck's definition of module