Nuprl Definition : full-partition
full-partition(I;p) == [left-endpoint(I) / (p @ [right-endpoint(I)])]
Definitions occuring in Statement :
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I),
append: as @ bs,
cons: [a / b],
nil: []
Definitions occuring in definition :
left-endpoint: left-endpoint(I),
append: as @ bs,
cons: [a / b],
right-endpoint: right-endpoint(I),
nil: []
FDL editor aliases :
full-partition
full-partition
Latex:
full-partition(I;p) == [left-endpoint(I) / (p @ [right-endpoint(I)])]
Date html generated:
2016_05_18-AM-08_55_41
Last ObjectModification:
2015_09_23-AM-09_09_07
Theory : reals
Home
Index