[jhanschoo]

I'd also like to point out that it is also frequent that one encounters equivalent but different formal definitions for the same mathematical structures, and this is why the informal descriptions are important as well.