Positive Real Numbers

GPTKB entity

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