Any interval contains the empty interval

[simon-keith]

import portion as p

print(p.closed(0, 1).contains(p.empty()))

The above prints True, meaning than any interval contains the empty interval. Is that intended?

[simon-keith]

I think it actually makes sense mathematically, I just wanted to make sure.

[AlexandreDecan]

Hello,

You're right, the empty interval is contained in all (possibly empty as well) intervals, by definition.

[simon-keith]

Ok, thank you for clarifying!