for f being Relation holds
( f is COMPLEX -valued iff rng f is complex-membered )