The set of stable matchings in the Gale-Shapley marriage problem is charact
erized as the fixed points of an increasing function. Its well-known non-em
ptiness and lattice property are an immediate consequence of Tarski's fixed
point theorem. (C) 2000 Elsevier Science S.A. All rights reserved. JEL cla
ssification: C71.