Free module over a set