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