positive real number (Q6154): Difference between revisions

@@ Property / instance of @@
+type of number
@@ Property / instance of: type of number / rank @@
+Normal rank
@@ Property / subclass of @@
+non-negative real number
@@ Property / subclass of: non-negative real number / rank @@
+Normal rank
@@ Property / subclass of @@
+nonzero real number
@@ Property / subclass of: nonzero real number / rank @@
+Normal rank
@@ Property / subclass of @@
+type
@@ Property / subclass of: type / rank @@
+Normal rank
@@ Property / subclass of: type / qualifier @@
+of: number
@@ Property / has quality @@
+positivity
@@ Property / has quality: positivity / rank @@
+Normal rank
@@ Property / facet of @@
+number
@@ Property / facet of: number / rank @@
+Normal rank

Latest revision as of 19:47, 31 March 2023