Nuprl Definition : ac-covers
ac-covers(eq;ac;x) == ¬bfset-null({y ∈ ac | deq-f-subset(eq) y x})
Definitions occuring in Statement :
deq-f-subset: deq-f-subset(eq),
fset-null: fset-null(s),
fset-filter: {x ∈ s | P[x]},
bnot: ¬bb,
apply: f a
Definitions occuring in definition :
bnot: ¬bb,
fset-null: fset-null(s),
fset-filter: {x ∈ s | P[x]},
apply: f a,
deq-f-subset: deq-f-subset(eq)
FDL editor aliases :
ac-covers
Latex:
ac-covers(eq;ac;x) == \mneg{}\msubb{}fset-null(\{y \mmember{} ac | deq-f-subset(eq) y x\})
Date html generated:
2016_05_14-PM-03_42_49
Last ObjectModification:
2016_01_20-PM-02_15_17
Theory : finite!sets
Home
Index