Generalization of vector space, with scalars in a ring instead of a field.