definida por "π"("p", "v") = "p".