Universal Property of Free Module Indexed by Set