Nuprl Definition : fset-find

fset-find(P;s) ==  hd(filter(P;s))


Definitions occuring in Statement :  hd: hd(l),  filter: filter(P;l)
Definitions occuring in definition :  hd: hd(l),  filter: filter(P;l)
FDL editor aliases :  fset-find
Latex:
fset-find(P;s)  ==    hd(filter(P;s))


Date html generated: 2017_02_20-AM-10_49_02
Last ObjectModification: 2017_02_02-PM-04_54_10

Theory : finite!sets


Home Index