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