one-intersection(A;W) == (
ws
W.
a:{a:Id| (a A)} . (a ws))
Definitions :
l_all: (xL.P[x]),
list: type List,
exists: x:A. B[x],
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id
FDL editor aliases :
one-intersection
one-intersection(A;W) == (\mforall{}ws\mmember{}W.\mexists{}a:\{a:Id| (a \mmember{} A)\} . (a \mmember{} ws))
Date html generated:
2010_08_27-AM-12_49_57
Last ObjectModification:
2009_12_23-PM-03_25_43
Home
Index