Mathematical Concepts
sets and constructive set specification
set operators
logic operators
e.g., i, j: i > j i2 => j2
which states that, for every pair of values in the set of
natural numbers, if i is greater than j, then i2 is greater
than j2.
sequences