for a, b being Real st b - a <= 1 holds
for d being set st d in IntIntervals (a,b) holds
CircleMap | d is one-to-one