ex F being sequence of RAT st
( F is one-to-one & dom F = NAT & rng F = RAT )