integers() # All integers
integers(from = 0) # Non-negative integers
integers(to = 1.5) # Ends at 1.
integers(-5, 5) # Integers from -5 to 5.
natural1()
natural0()
# Infinity is never contained in the series.
has_discretes(integers(), Inf)
Run the code above in your browser using DataLab