Nuprl Definition : fset-contains-none
fset-contains-none(eq;s;x.Cs[x]) == fset-contains-none-of(eq;s;f-union(eq;deq-fset(eq);s;x.Cs[x]))
Definitions occuring in Statement :
fset-contains-none-of: fset-contains-none-of(eq;s;cs),
deq-fset: deq-fset(eq),
f-union: f-union(domeq;rngeq;s;x.g[x])
Definitions occuring in definition :
fset-contains-none-of: fset-contains-none-of(eq;s;cs),
f-union: f-union(domeq;rngeq;s;x.g[x]),
deq-fset: deq-fset(eq)
FDL editor aliases :
fset-contains-none
Latex:
fset-contains-none(eq;s;x.Cs[x]) == fset-contains-none-of(eq;s;f-union(eq;deq-fset(eq);s;x.Cs[x]))
Date html generated:
2016_05_14-PM-03_42_16
Last ObjectModification:
2015_10_14-AM-10_34_38
Theory : finite!sets
Home
Index