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

Question

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

我已阅读有关预定义集的文档，但我找不到明确说明的差异。

Answer 1

非负实数包括0。

正实数不包括0。