Item:Q7827: Difference between revisions
Created a new Item: closed bounded interval, interval of the real line which includes both limit points of the interval, both of which are necessarily finite |
Created claim: subclass of (P1): bounded interval (Q7828) |
||
Property / subclass of | |||
Property / subclass of: bounded interval / rank | |||
Normal rank |