Nuprl Definition : fset-some
fset-some(s;x.P[x]) == ¬↑fset-null({x ∈ s | P[x]})
Definitions occuring in Statement :
fset-null: fset-null(s),
fset-filter: {x ∈ s | P[x]},
assert: ↑b,
not: ¬A
Definitions occuring in definition :
not: ¬A,
assert: ↑b,
fset-null: fset-null(s),
fset-filter: {x ∈ s | P[x]}
FDL editor aliases :
fset-some
Latex:
fset-some(s;x.P[x]) == \mneg{}\muparrow{}fset-null(\{x \mmember{} s | P[x]\})
Date html generated:
2016_05_14-PM-03_40_58
Last ObjectModification:
2015_10_06-PM-01_36_33
Theory : finite!sets
Home
Index