Also found in: Wikipedia.
marriage theorem[′mar·ij ‚thir·əm]
The proposition that a family of n subsets of a set S with n elements is a system of distinct representatives for S if any k of the subsets, k = 1, 2, …, n, together contain at least k distinct elements. Also known as Hall's theorem.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.