let
is_member =
function
z, i
->
z >= lower_bound (i)
&
z <= upper_bound (i)