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
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