Nuprl Definition : max-fst-class

MaxFst(X) ==  (p from X with maximum fst(p))


Definitions occuring in Statement :  max-f-class: (v from X with maximum f[v]),  pi1: fst(t)
FDL editor aliases :  max-fst-class
Latex:
MaxFst(X)  ==    (p  from  X  with  maximum  fst(p))


Date html generated: 2015_07_20-PM-03_50_22
Last ObjectModification: 2012_02_25-PM-01_56_24

Home Index