Nuprl Definition : p-co-restrict

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


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


Date html generated: 2016_05_15-PM-03_31_17
Last ObjectModification: 2015_09_23-AM-07_43_59

Theory : general


Home Index