I am wondering if there are any differences between the predefined PositiveReals and NonNegativeReals sets.
I have read the documentation on predefined sets but I can't find the difference explicitly stated.
Non-negative reals include 0.
Positive reals do not include 0.