Form a bipartite graph with left labels , right set , and an edge exactly when . A matching covering all left labels is precisely a choice of distinct representatives. Its neighborhood condition isThus this is necessary and sufficient. The underlying set may be infinite; only the number of sets to be represented is finite.
Articles by others on the same topic
There are currently no matching articles.