Library ▹ Essentials ▹ Numbers ▹ Integers
  • ℤ
  • +
  • + is associative
  • + is commutative
  • −a
  • −
  • (n-m) = n − m  if n, m ∈ ℕ
  • ≤
  • <
  • Subsets
  • |a|
  • ⋅
  • ⋅ is associative
  • ⋅ is commutative
  • ∣
  • Divℤ(b)
  • ∕
  • an
  • a + c = b + c  ⇒  a = b  if a, b, c ∈ ℤ
  • a ⋅ c = b ⋅ c  ⇒  a = b  if a, b ∈ ℤ, c ∈ ℤ±
  • (a ⋅ b)n = an ⋅ bn  if a, b ∈ ℤ, n ∈ ℕ
  • min
  • min
  • max
  • max
  • Iterated operators
  • Prime Numbers
  • coprime
[View Source]