Vitalsource Technologies, Inc. Set-theoretic Topology