More importantly, it also provides foundations to random matching models of continuum populations with infinitely many types, which are currently used in the literature without an explicit justification.