The mathematical set of positive real numbers, defined as the union of the set of positive rationals and positive irrationals. i.e. $$I^+ \cup Q^+$$ where \(I^+\) is the set of positive irrationals and \(Q^+\) is the set of positive rationals.
Other special sets:
Complex,
ExtendedReals,
Integers,
Logicals,
Naturals,
NegIntegers,
NegRationals,
NegReals,
PosIntegers,
PosNaturals,
PosRationals,
Rationals,
Reals,
Universal
set6::Set -> set6::Interval -> set6::SpecialSet -> set6::Reals -> PosReals
new()Create a new PosReals object.
PosReals$new(zero = FALSE)
zerological. If TRUE, zero is included in the set.
A new PosReals object.
clone()The objects of this class are cloneable with this method.
PosReals$clone(deep = FALSE)
deepWhether to make a deep clone.