Nuprl Definition : partition
partition(I) == {p:ℝ List| partitions(I;p)}
Definitions occuring in Statement :
partitions: partitions(I;p),
real: ℝ,
list: T List,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
list: T List,
real: ℝ,
partitions: partitions(I;p)
FDL editor aliases :
partition
partition
Latex:
partition(I) == \{p:\mBbbR{} List| partitions(I;p)\}
Date html generated:
2016_05_18-AM-08_55_12
Last ObjectModification:
2015_09_23-AM-09_08_59
Theory : reals
Home
Index