# Algebra

## Quantifiers

### Summations

Given a finite set and a function , represents the sum of all the elements of applied to . Basically, if , then .

Summing up over intervals of integers is so common that there is an special notation for it. Something like can be re-expressed as . The general form is , assuming that .

### Products

The product quantifier has the same syntax as the summation quantifier, but of course we calculate the product of every function application. The product of all numbers in a set by the power of two is: .