PositiveReals

PositiveReals represents the domain of strictly positive real numbers.

Examples

Test if a number is in PositiveReals:

Element[5, PositiveReals]
(* True *)

Use in assumptions:

Simplify[Sqrt[x^2], x ∈ PositiveReals]
(* x *)

Please visit the official Wolfram Language Reference for more details.