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