© 1997 by London Mathematical Society
© The London Mathematical Society
A Criterion for the Existence of Transversals of Set Systems
Department of Mathematics, West Virginia University P.O. Box 6310, Morgantown, West Virginia 26506-6310, USA. E-mail: jerzy{at}math.wvu.edu
Received 20 February 1995. Revision received 1 August 1995.
Nash-Williams [6] formulated a condition that is necessary and sufficient for a countable family A=(Ai)i
I of sets to have a transversal. In [7] he proved that his criterion applies also when we allow the set I to be arbitrary and require only that
i
JAi=Ø for any uncountable J
I. In this paper, we formulate another criterion of a similar nature, and prove that it is equivalent to the criterion of Nash-Williams for any family u. We also present a self-contained proof that if
i
JAi=Ø for any uncountable J
I, then our condition is necessary and sufficient for the family u to have a transversal.