Characterizing the Top Trading Cycles Rule in Housing Markets with Lexicographic Preferences and Limited Externalities

In housing markets where agents have lexicographic preferences, prioritizing either the house they receive or the recipient of their endowment, the Top Trading Cycles (TTC) rule is the only mechanism that guarantees individual rationality, pair efficiency, and strategy-proofness.