Positive[x] gives True if x is a positive number.
Even simple-looking limits are sometimes quite complicated to compute. Mathematica provides functionality to evaluate several kinds of limits.
Booleans represents the domain of Booleans, as in x \[Element] Booleans.
Reals
(Built-in Mathematica Symbol) Reals represents the domain of real numbers, as in x \[Element] Reals.
Rationals represents the domain of rational numbers, as in x \[Element] Rationals.
Symbolic Computation Values for Symbols Transforming Algebraic Expressions
Primes
(Built-in Mathematica Symbol) Primes represents the domain of prime numbers, as in x \[Element] Primes.
Algebraics represents the domain of algebraic numbers, as in x \[Element] Algebraics.
Integers represents the domain of integers, as in x \[Element] Integers.
Two decades of intense R&D at Wolfram Research have given Mathematica by far the world's broadest and deepest coverage of special functions—and greatly expanded the whole ...