В математике полугруппой с делением называется частично упорядоченная полугруппа , в которой для любых двух элементов и определены правое () и левое () частные, причём выполняются условия: (правое; читается « над »); (левое; читается « под »). Очевидно, что если полугруппа коммутативна, то правое и левое частные совпадают. Правое и левое частные для каждых двух элементов определяются однозначно.
В математике полугруппой с делением называется частично упорядоченная полугруппа , в которой для любых двух элементов и определены правое () и левое () частные, причём выполняются условия: (правое; читается « над »); (левое; читается « под »). Очевидно, что если полугруппа коммутативна, то правое и левое частные совпадают. Правое и левое частные для каждых двух элементов определяются однозначно.