Discrete mathematics is that part of mathematics
that deals with sets of objects that can be counted
or processes that consist of a sequence of individual
steps. The set of objects is called finite if the cardinality
of the set is a counting number. As an example of a
finite algebra, modulo arithmetic is considered.