Item:Q7827: Difference between revisions

← Older edit

@@ Property / subclass of @@
+closed interval
@@ Property / subclass of: closed interval / rank @@
+Normal rank
@@ Property / subclass of @@
+compact space
@@ Property / subclass of: compact space / rank @@
+Normal rank
@@ Property / has quality @@
+boundedness
@@ Property / has quality: boundedness / rank @@
+Normal rank
@@ Property / has quality @@
+closedness
@@ Property / has quality: closedness / rank @@
+Normal rank