The set of Positive Reals is defined as the union of the set of positive rationals and positive
irrationals, i.e.
$$PosReals = I^+ \cup Q^+$$
where \(I^+\) is the set of positive irrationals and \(Q^+\) is the set of positive rationals.
\(0\) may or may not be included (depending on the zero
argument).