for f being Relation holds
( dom f is rational-membered iff f is RAT -defined )