A researcher developed a theory to show that the set of all stable marriages forms a lattice, with a simple way to find the greatest lower bound and least upper bound of two stable pairings.