Nondegenerate interval (source code)

= Nondegenerate interval

A nondegenerate interval contains more than one point; for an interval with finite endpoints, this means that its endpoints are distinct.