Nuprl Definition : fset-filter

{x ∈ s | P[x]} ==  filter(λx.P[x];s)


Definitions occuring in Statement :  filter: filter(P;l),  lambda: λx.A[x]
Definitions occuring in definition :  filter: filter(P;l),  lambda: λx.A[x]
FDL editor aliases :  fset-filter
Latex:
\{x  \mmember{}  s  |  P[x]\}  ==    filter(\mlambda{}x.P[x];s)


Date html generated: 2016_05_14-PM-03_39_18
Last ObjectModification: 2015_10_06-PM-01_37_16

Theory : finite!sets


Home Index