続けても構わないでしょうか

二項演算 Ｍ×Ｍ→Ｍ において

　　　　 　 　 |　結合則 単位元 逆元
　────┼─────────
　マグマ　　 |　　 ×　　　×　　　×
　準群　　　 |　　 ×　　　×　　　○
　ユニタル....|　　 ×　　　○　　　×
　ループ　　.|　　 ×　　　○　　　○
　半群　　　 |　　 ○　　　×　　　×
　？　　　 　 |　　 ○　　　×　　　○
　モノイド 　 |　　 ○　　　○　　　×
　群　　　 　 |　　 ○　　　○　　　○

という表を作ってみましたが、まずこの表におかしなところはありますか？
吸収元とか消約性とかはまだ今ひとつ分かってません