Semistrop

As ciama semistrop na strutura algébrica $(E,\circ )$ dotà ëd n'operassion associativa. Si $(E,\circ )$ a l'é 'n semistrop e $A\subseteq E$ a l'é 'n sot-ansem ëstàbil për l'operassion $\circ$, antlora ëdcò la strutura $(A,\circ )$, dotà dla restrission dl'operassion, a l'é 'n semistrop. Si l'operassion $\circ$ a l'é ëdcò comutativa, ël semistrop a l'é dit semistrop comutativ o semistrop abelian. Esempi Le struture $(\mathbb {N} ,+)$ e $(\mathbb {N} ,\cdot )$ a son ëd semistrop comutativ, përchè sia l'adission sia la multiplicassion ëd nùmer naturaj a son associative e comutative. Ël sot-ansem ëstàbil dij nùmer cobi a l'é 'n semistrop sia rëspet a l'adission che rëspet a la multiplicassion. Un semistrop dotà d'element neutral a l'é ciamà monòid.