Nuprl Definition : intersectionset
⋂(s) == {x ∈ ⋃(s) | ∀z∈s.(x ∈ z)}
Definitions occuring in Statement :
allsetmem: ∀a∈A.P[a],
unionset: ⋃(s),
sub-set: {a ∈ s | P[a]},
setmem: (x ∈ s)
Definitions occuring in definition :
setmem: (x ∈ s),
allsetmem: ∀a∈A.P[a],
unionset: ⋃(s),
sub-set: {a ∈ s | P[a]}
FDL editor aliases :
intersectionset
Latex:
\mcap{}(s) == \{x \mmember{} \mcup{}(s) | \mforall{}z\mmember{}s.(x \mmember{} z)\}
Date html generated:
2018_05_29-PM-01_48_33
Last ObjectModification:
2018_05_26-PM-10_00_47
Theory : constructive!set!theory
Home
Index