PositiveReals集和NonNegativeReals集之间有区别吗？

Question

我想知道预定义的PositiveReals和NonNegativeReals集之间是否存在差异。

我已经阅读了有关预定义集的文档，但找不到明确说明的区别。

Answer 1

非负实数包括0。

正实数不包含0。