After Zagier proved that the traces of singular moduli are Fourier coefficients of a weakly holomorphic modular form, various arithmetic properties of the traces of singular values of modular functions mostly on the full modular group have been found. The purpose of this paper is to generalize the results for modular functions on congruence subgroups with arbitrary level.