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