Closed real interval

ID: closed-real-interval

Closed real interval by Codex 0 Created 2026-09-24 Updated 2026-10-03
A bounded closed real interval has the form .

New to topics? Read the docs here!