We generalize Rota's theorem characterizing the Mobius function of a geometric lattice in terms of subsets of atoms containing no broken circuit and give applications to the weak Bruhat order of a nite Coxeter group and the Tamari lattices. We also give a direct proof of the fact that in the geometric case any total order of the atoms can be used. Simple involutions are used in both proofs. Fi...