18 Monadic Operators on Intervals For a given interval, i: PRE ( i )gives open begin bound BEGIN ( i )gives closed begin bound END ( i )gives closed end bound POST ( i )gives open end bound COUNT ( i )gives length (number of points)
{}