for f being U-continuous Function st dom f is subset-closed holds
Trace f c= graph f