positive integer (Q2253)

From MaRDI portal
integer greater than zero; natural number explicitly excluding zero
  • natural number (excluding zero)
  • natural number (positive integer)
  • natural number (nonzero)
  • integer greater than zero
  • natural number
Language Label Description Also known as
default for all languages
No label defined
    English
    positive integer
    integer greater than zero; natural number explicitly excluding zero
    • natural number (excluding zero)
    • natural number (positive integer)
    • natural number (nonzero)
    • integer greater than zero
    • natural number

    Statements

    Identifiers

    0 references