Description: The base set extractor is a function on _V . (Contributed by Stefan O'Rear, 8-Jul-2015)
|- Base Fn _V
|- Base = Slot 1