L'idea di base è quella di raggruppare la complessità degli algoritmi in categorie di funzioni soggette a certe limitazioni sul loro comportamento all'infinito.