Nuprl Definition : l-union
as ⋃ bs == reduce(λa,L. insert(a;L);as;bs)
Definitions occuring in Statement :
insert: insert(a;L),
reduce: reduce(f;k;as),
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
insert: insert(a;L)
FDL editor aliases :
l-union
Latex:
as \mcup{} bs == reduce(\mlambda{}a,L. insert(a;L);as;bs)
Date html generated:
2020_05_19-PM-09_37_51
Last ObjectModification:
2020_01_24-PM-01_31_42
Theory : list_0
Home
Index