Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Mathematical_Set
|
| gptkbp:cardinality |
gptkb:continuum
|
| gptkbp:contains |
all real numbers greater than zero
|
| gptkbp:definedIn |
areas
lengths volumes norms metric spaces probabilities |
| gptkbp:excludes |
zero
negative numbers |
| gptkbp:hasConnection |
true
|
| gptkbp:hasSubgroup |
gptkb:Real_Numbers
|
| gptkbp:isClosedUnder |
multiplication
division (except by zero) |
| gptkbp:isDenseIn |
itself
|
| gptkbp:isNotClosedUnder |
addition
subtraction |
| gptkbp:isOpenInterval |
(0, ∞)
|
| gptkbp:isTotallyOrdered |
true
|
| gptkbp:isUncountable |
true
|
| gptkbp:symbol |
R^+
|
| gptkbp:usedIn |
gptkb:analysis
gptkb:probability_theory measure theory |
| gptkbp:bfsParent |
gptkb:Exponential_Function
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Positive Real Numbers
|