real line (Q1360): Difference between revisions

@@ Property / subclass of @@
+line
@@ Property / subclass of: line / rank @@
+Normal rank
@@ Property / subclass of @@
+open interval
@@ Property / subclass of: open interval / rank @@
+Normal rank
@@ Property / subclass of @@
+half-closed interval
@@ Property / subclass of: half-closed interval / rank @@
+Normal rank
@@ Property / subclass of: half-closed interval / qualifier @@
+reason for deprecated rank: incorrect value
@@ Property / subclass of @@
+closed interval
@@ Property / subclass of: closed interval / rank @@
+Normal rank
@@ Property / subclass of @@
+interval
@@ Property / subclass of: interval / rank @@
+Normal rank
@@ Property / subclass of @@
+Euclidean space
@@ Property / subclass of: Euclidean space / rank @@
+Normal rank

Latest revision as of 22:53, 30 January 2023