Revision #826 → #1321 · back to history
addedReal interval3b891dc811d4
addedUnit intervale7c1185bfac6
addedInterval (subset characterization)c8a515a51355
addedEndpoints of an intervaledd0199958a4
addedIntervals determined by endpointsbb25f48139ee
addedOpen interval6dd7392a1fbe
addedOpen intervals as base of open sets04b26470ebc3
addedClosed interval574786904ecf
addedClosed intervals as closed setsd891dcadc383
addedHalf-open interval2ce5a0c39f50
addedClassification of intervals0b99900f4c90
addedDegenerate interval63da9ba227d7
addedProper interval9a88dd69ade8
addedLeft/right-bounded interval520fd5beec7d
addedDiameter/length of interval9ae1f433dfe2
addedCentre and radius of interval670d270b0419
addedLeft/right-open by min/max662b6b3e59b5
addedLeft/right-closed interval96ece20aef97
addedSubinterval2fdd30860186
addedInterior and closure of interval35926257020e
addedInterval enclosure74ecba70de54
addedIntervals are connected subsets271e0ed7f143
addedIntervals are convex subsetsf120e92fe22d
addedClosure of an interval71b9079a5d0a
addedIntersection and union of intervals6d9692c9d128
addedOpen and closed balls on the real lineac38a14eb2e6
addedTrichotomy partition9d6ed042d128
addedDyadic intervale7afea27c378
addedProperties of dyadic intervals170764070a4d
addedContinuity (epsilon-delta)7e8841f06676
addedIntermediate value theorem5f7395145b36
addedConfidence intervalef90c43222a6
addedTychonoff embedding into product of intervalsdc9033224d9d
addedTotally ordered set is monotonically normal11ca94c55d7d
addedOpen/closed ball as interval909facc7ee07
addedMulti-dimensional intervalb00dcb718ba5
addedFacets, faces, and cornersf3e9027b2e5c
addedConvex polytope as intersection of half-spaces066fe1fbbbfe
addedComplex interval6b12e6c1fbad
addedInterval in preordered setf913d8f56c0e
addedOrder-convex subsetd6852d21bec2
addedConvex but non-interval in rationals0c12071d54cc
addedConvex component156dedcb45f0
addedConvex components form a partitiond598dd12d7ed
addedCharacterizations of intervals in a linear continuumf326100e7e79
addedSublattice and convex set characterization06a9275e4d76
addedTopological ring of intervals223e86049916
addedIdeals and units of interval algebra640a41355ada
addedIsomorphism with hyperbolic numbersdfcd4c5b7f6c