Nuprl Definition : one-intersection
one-intersection(A;W) == (∀ws∈W.∃a:{a:Id| (a ∈ A)} . (a ∈ ws))
Definitions occuring in Statement :
Id: Id,
l_all: (∀x∈L.P[x]),
l_member: (x ∈ l),
exists: ∃x:A. B[x],
set: {x:A| B[x]}
FDL editor aliases :
one-intersection
Latex:
one-intersection(A;W) == (\mforall{}ws\mmember{}W.\mexists{}a:\{a:Id| (a \mmember{} A)\} . (a \mmember{} ws))
Date html generated:
2016_05_16-PM-00_00_26
Last ObjectModification:
2012_07_05-PM-01_28_11
Theory : event-ordering
Home
Index