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