f 
g == <(fst(f)) @ filter(
a.(
a 
dom(f));fst(g)), a.f(a)?g(a)>
Definitions :
pair: <a, b>,
append: as @ bs,
filter: filter(P;l),
bnot: b,
fpf-dom: x dom(f),
pi1: fst(t),
lambda: x.A[x],
fpf-cap: f(x)?z,
fpf-ap: f(x)
FDL editor aliases :
fpf-join
f \moplus{} g == <(fst(f)) @ filter(\mlambda{}a.(\mneg{}\msubb{}a \mmember{} dom(f));fst(g)), \mlambda{}a.f(a)?g(a)>
Date html generated:
2010_08_26-PM-11_46_37
Last ObjectModification:
2008_02_27-PM-09_39_27
Home
Index