This paper provides a mathematical foundation for independent random matching of a large population, as widely used in the economics literature. We consider both static and dynamic systems with random mutation, partial matching arising from search, and type changes induced by matching. Under...