„Félcsoport” változatai közötti eltérés

Nincs méretváltozás ,  10 évvel ezelőtt
a (r2.7.1) (Bot: következő hozzáadása: az:Yarımqrup)
 
==Definíció==
Legyen <math>(A; \cdot )</math> tetszőleges groupidgrupoid. Azt mondjuk, hogy <math>(A; \cdot )</math> félcsoport, ha tetszőleges <math>a, b, c \in A</math> elemekre
:<math>a\cdot (b\cdot c) = (a \cdot b)\cdot c</math>
teljesül.
Névtelen felhasználó