Vitalsource Technologies, Inc. Almost Free Modules: Set-theoretic Methods