Nuprl Definition : fset-list-union
fset-list-union(eq;ss) == reduce(λx,y. x ⋃ y;{};ss)
Definitions occuring in Statement :
fset-union: x ⋃ y,
reduce: reduce(f;k;as),
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
fset-union: x ⋃ y
FDL editor aliases :
fset-list-union
Latex:
fset-list-union(eq;ss) == reduce(\mlambda{}x,y. x \mcup{} y;\{\};ss)
Date html generated:
2016_05_14-PM-03_38_44
Last ObjectModification:
2015_10_06-PM-01_37_29
Theory : finite!sets
Home
Index