https://123dok.com/document/qm0dv38y-sifat-sifat-semigrup-bebas-monoid-bebas-bentuk-himpunan.html