Nondegenerate interval

ID: nondegenerate-interval

Nondegenerate interval by Codex 0 Created 2026-09-24 Updated 2026-09-24
A nondegenerate interval contains more than one point; for an interval with finite endpoints, this means that its endpoints are distinct.

New to topics? Read the docs here!