NonPositiveReals
NonPositiveReals represents the domain of non-positive real numbers.
Examples
Test membership:
Element[-1.5, NonPositiveReals]
(* True *)Positive fails:
Element[0.5, NonPositiveReals]
(* False *)Please visit the official Wolfram Language Reference for more details.