Vector space/Generating system/Inclusion/Exercise