What is the definition of a linearly independent set S over a field F?