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
Latex:
f  is  R-pre-preserving  on  P  ==    f  is  R-R-pre-preserving  on  P


Date html generated: 2016_05_16-AM-10_19_50
Last ObjectModification: 2013_03_25-PM-01_56_08

Theory : new!event-ordering


Home Index