A generating set is a [[Vector Set]] that when the [[Span]] function is applied generates another distinct set.