La definición implica que μ(1) = 1, ya que 1 tiene 0 factores primos distintos, por lo tanto, un número par.