PositiveInteger is a data type. E.g. DataType[OPEm, PositiveInteger] gives True.
PositiveInteger
DataType[OPEm, PositiveInteger]
True
Overview, DataType.