Частичный группоид
- Частичный группоид — множество с частичной бинарной операцией.
- Частичная полугруппа — частичная алгебра с ассоциативным законом.
- В частичной полугруппе выполняются два утверждения: x∘(y∘z)∈G тогда и только тогда, когда (x∘y)∘z∈G, и x∘(y∘z)=(x∘y)∘z, если x∘(y∘z)∈G.
Полный текст статьи: