It's all sorted, thank you very much :)

@Markiyan Hirnyk 

I see, thanks. But then it seems weird to me that we can type

is(0.5 in RealRange(0,1)); 

and have maple reply "true", isn't it?

Anyway, any ideas on how we could define a subset of the real line?

Thanks again.