Limiting value, real variable. Equivalent to Limit(f(x), For(x, a), Element(x, RR)).
Equivalent to Limit(f(x), For(x, a), And(Element(x, RR), P(x)).