[felixmar]

I think this shows how powerful mathematical notation really is once you understand the concepts (which i admit is not easy). One formal definition versus pages of explanations. It's the same with other programming concepts like monads. Many have written blog posts explaining monads in Haskell and those are great to learn how to apply them but in the end the formal definitions explain them best.