Let I be a set and
![](//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0305004100051264/resource/name/S0305004100051264_eqn1.gif?pub-status=live)
be a family of sets Aν labelled by the elements of I. Throughout, parentheses ( ) denote families and curly brackets {} denote sets. A transversal, or system of distinct representatives, of F is, by definition, a family (xν: ν ∈ I) of objects xν, for ν ∈ I, such that †
![](//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0305004100051264/resource/name/S0305004100051264_eqn2.gif?pub-status=live)
Thus the family ({1, 2,} {1, 2}) has exactly two transversals, namely (1,2) and (2, 1). Let TF denote the set of all transversals of F. Much work has been done on the question of characterizing those F for which TF ≠ Ø. We are here going to characterize those F for which TF has exactly one element. In contrast to the more familiar case TF ≠ Ø, our argument is effective irrespective of the cardinalities of I and Aν.