Topological Order and Universal Properties of Gapped Quantum Systems