abs f = |.f.| ;
hence |.f.| is PartFunc of C,RAT ; :: thesis: verum