R/countable_set.R
infimum.countable_set.Rd
Get the infimum of a countable set.
# S3 method for class 'countable_set' infimum(object)
A countable_set object.
countable_set
The lower bound (integer).
cs <- countable_set$new(0L) infimum(cs) # 0 #> [1] 0