Nuprl Definition : p-restrict

p-restrict(f;p) ==  f o p-filter(p)


Definitions occuring in Statement :  p-filter: p-filter(f),  p-compose: f o g
Definitions occuring in definition :  p-compose: f o g,  p-filter: p-filter(f)
FDL editor aliases :  p-restrict
Latex:
p-restrict(f;p)  ==    f  o  p-filter(p)


Date html generated: 2016_05_15-PM-03_31_11
Last ObjectModification: 2015_09_23-AM-07_43_56

Theory : general


Home Index