Matching and Distinct Representatives

The material presented here really concerns n × m binary matrices [ai,j], i.e., matrices whose entries are all zeros or ones. However, several different interpretations of such matrices are useful for the applications as well as for a better understanding of the proofs.