Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Mathematical Set
|
gptkbp:cardinality |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
Positive 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:probability_theory
analysis measure theory |
gptkbp:bfsParent |
gptkb:Exponential_Function
|
gptkbp:bfsLayer |
7
|