“…Various forms of substitutability are essential for establishing the existence of equilibria and other useful properties in diverse settings such as matching, auctions, exchange economies with indivisible goods, and trading networks (Kelso and Crawford 1982, Roth 1984, Bikhchandani and Mamer 1997, Gul and Stacchetti 1999, , Milgrom 2000, Ausubel and Milgrom 2005, Hatfield and Milgrom 2005, Sun and Yang 2006, , Ostrovsky 2008, Hatfield et al 2013, Fleiner et al 2017). Substitutability arises in a number of important applications, including matching with distributional constraints (Abdulkadiroğlu and Sönmez 2003, Hafalir et al 2013, Ehlers et al 2014, Echenique and Yenmez 2015), supply chains (Ostrovsky 2008), markets with horizontal subcontracting (Hatfield et al 2013), “swap” deals in exchange markets (Milgrom 2009), and combinatorial auctions for bank securities (Klemperer 2010, Baldwin and Klemperer 2019).…”