---

three-intersection(A;W) ==
  (ws1W.(ws2W.(ws3W.a:{a:Id| (a  A)} 
                           ((a  ws1)  (a  ws2)  (a  ws3)))))

---

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 :  three-intersection

---

three-intersection(A;W)  ==
    (\mforall{}ws1\mmember{}W.(\mforall{}ws2\mmember{}W.(\mforall{}ws3\mmember{}W.\mexists{}a:\{a:Id|  (a  \mmember{}  A)\}  .  ((a  \mmember{}  ws1)  \mwedge{}  (a  \mmember{}  ws2)  \mwedge{}  (a  \mmember{}  ws3)))))


Date html generated: 2010_08_27-AM-12_50_06
Last ObjectModification: 2009_12_23-PM-03_25_53

Home Index