Nuprl Definition : three-intersection
three-intersection(A;W) == (∀ws1∈W.(∀ws2∈W.(∀ws3∈W.∃a:{a:Id| (a ∈ A)} . ((a ∈ ws1) ∧ (a ∈ ws2) ∧ (a ∈ ws3)))))
Definitions occuring in Statement :
Id: Id
,
l_all: (∀x∈L.P[x])
,
l_member: (x ∈ l)
,
exists: ∃x:A. B[x]
,
and: P ∧ Q
,
set: {x:A| B[x]}
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:
2015_07_17-AM-11_28_42
Last ObjectModification:
2012_07_05-PM-01_29_31
Home
Index