Nuprl Definition : rel-pre-preserving

f is R-pre-preserving on P ==  f is R-R-pre-preserving on P


Definitions occuring in Statement :  Q-R-pre-preserving: f is Q-R-pre-preserving on P
FDL editor aliases :  rel-pre-preserving rel-pre-preserving
f  is  R-pre-preserving  on  P  ==    f  is  R-R-pre-preserving  on  P


Date html generated: 2015_07_17-AM-09_03_32
Last ObjectModification: 2013_03_25-PM-01_56_08

Home Index