Nuprl Definition : fset-only

only x ∈ s s.t. P[x] ==  item({x ∈ s | P[x]})


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


Date html generated: 2016_05_14-PM-03_47_11
Last ObjectModification: 2015_10_06-PM-01_33_47

Theory : finite!sets


Home Index