geometry :: Boxed :: bottom
require: bottom <= top
# Bottom bound # # require: bottom <= top fun bottom: N is abstract
redef var bottom: N
redef fun bottom do return y
redef fun bottom do return point_left.y.min(point_right.y)