On the µ-calculus over transitive and finite transitive frames