$(A,\otimes)$ bir cebirsel yapı olmak üzere
1) kapalılık
2)birleşme
3)birim eleman
4)ters eleman
5)değişme
1) ve 2) sağlanırsa yarı grup
1) 2) 3) 4) sağlanırsa grup
1) 2) 3) 4) 5) sağlanırsa değişmeli grup
burada kapalılık özellikliğine bakmak gerekiyor mu birde bazı notlarda yarı grup diye bi kavrama değinmemiş
yanlış bi kısım var mı burada