Description: Extend class notation with the relation between a module and its linearly independent subsets.