En el cálculo lambda, "Y g" es un punto fijo de "g", debido a que expande a "g" ("Y" "g").