Nuprl Definition : bag-max

bag-max(f;bs) ==  imax-bag(bag-map(f;bs))


Definitions occuring in Statement :  imax-bag: imax-bag(bs),  bag-map: bag-map(f;bs)
Definitions occuring in definition :  imax-bag: imax-bag(bs),  bag-map: bag-map(f;bs)
FDL editor aliases :  bag-max
Latex:
bag-max(f;bs)  ==    imax-bag(bag-map(f;bs))


Date html generated: 2016_05_15-PM-02_51_01
Last ObjectModification: 2015_09_23-AM-07_40_28

Theory : bags


Home Index