Description: The span function on a left module maps subsets to subspaces. (Contributed by Stefan O'Rear, 12-Dec-2014)