Nuprl Definition : f-union

f-union(domeq;rngeq;s;x.g[x]) ==
  accumulate (with value a and list item x):
   a ⋃ g[x]
  over list:
    s
  with starting value:
   [])

Definitions occuring in Statement : fset-union: x ⋃ y, list_accum: list_accum, nil: []
Definitions occuring in definition : list_accum: list_accum, fset-union: x ⋃ y, nil: []
FDL editor aliases : f-union

Latex:
f-union(domeq;rngeq;s;x.g[x]) == accumulate (with value a and list item x): a \mcup{} g[x] over list: s with starting value: []) Date html generated: 2016_05_14-PM-03_39_03 Last ObjectModification: 2015_10_06-PM-01_37_24 Theory : finite!sets Home Index