By examining Philip Hall's original proof carefully, Marshall Hall, Jr. (no relation to Philip Hall) was able to tweak the result in a way that permitted the proof to work for infinite S [REF].
Recall that a transversal for a family S is an ordered sequence, so two different transversals could have exactly the same elements.