PositiveNumber is a data type. E.g. DataType[Epsilon, PositiveNumber] = True (by default).
PositiveNumber
DataType[Epsilon, PositiveNumber] = True
Overview, DataType.