Update README.md

Introduced informal algebraic notation.
Motivating example about click stream analytics.