Limiting value, complex variable. Equivalent to Limit(f(z), For(z, a), Element(z, CC)).
Equivalent to Limit(f(z), For(z, a), And(Element(z, CC), P(z)).