Nuprl Definition : cal-filter

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


Definitions occuring in Statement :  fset-filter: {x ∈ s | P[x]}
Definitions occuring in definition :  fset-filter: {x ∈ s | P[x]}
FDL editor aliases :  cal-filter
Latex:
cal-filter(s;x.P[x])  ==    \{x  \mmember{}  s  |  P[x]\}


Date html generated: 2020_05_20-AM-08_47_57
Last ObjectModification: 2016_01_15-PM-03_02_41

Theory : lattices


Home Index