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

Is there a difference between the PositiveReals set and the NonNegativeReals set?

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

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

非负实数包括 0。

正实数不包括0。