https://9pdf.info/document/q2n93vn2-grundlagen-der-gruppoid-und-gruppentheorie.html