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: has quality (P14): closedness (Q7829) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Property / subclass of | |||
| Property / subclass of: bounded interval / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: closed interval / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: compact space / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: boundedness / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: closedness / rank | |||
Normal rank | |||