Nuprl Definition : fset-remove
fset-remove(eq;y;s) == {x ∈ s | ¬b(eq x y)}
Definitions occuring in Statement :
fset-filter: {x ∈ s | P[x]},
bnot: ¬bb,
apply: f a
Definitions occuring in definition :
fset-filter: {x ∈ s | P[x]},
bnot: ¬bb,
apply: f a
FDL editor aliases :
fset-remove
Latex:
fset-remove(eq;y;s) == \{x \mmember{} s | \mneg{}\msubb{}(eq x y)\}
Date html generated:
2016_05_14-PM-03_39_40
Last ObjectModification:
2015_10_06-PM-01_37_11
Theory : finite!sets
Home
Index