Basic Properties of the Modular Function