Source: https://wwwcip.informatik.uni-erlangen.de/~sigepfei/algebra.pdf