Nuprl Definition : fset-ac-lub
fset-ac-lub(eq;ac1;ac2) == fset-minimals(xs,ys.f-proper-subset-dec(eq;xs;ys); ac1 ⋃ ac2)
Definitions occuring in Statement :
fset-minimals: fset-minimals(x,y.less[x; y]; s),
f-proper-subset-dec: f-proper-subset-dec(eq;xs;ys),
deq-fset: deq-fset(eq),
fset-union: x ⋃ y
Definitions occuring in definition :
fset-minimals: fset-minimals(x,y.less[x; y]; s),
f-proper-subset-dec: f-proper-subset-dec(eq;xs;ys),
fset-union: x ⋃ y,
deq-fset: deq-fset(eq)
FDL editor aliases :
fset-ac-lub
Latex:
fset-ac-lub(eq;ac1;ac2) == fset-minimals(xs,ys.f-proper-subset-dec(eq;xs;ys); ac1 \mcup{} ac2)
Date html generated:
2016_05_14-PM-03_48_44
Last ObjectModification:
2015_10_06-PM-01_33_11
Theory : finite!sets
Home
Index