левый множества X в R - множество всех таких элементов уиз Л, что Здесь R - кольцо, или полугруппа (или, вообще, группоид) с нулем. Аналогично определяется правый А. множества это есть множество
Двусторонний А. множества Xесть множество
В ассоциативном кольце (или полугруппе) Rлевый А. любого множества Xбудет левым идеалом, а если X является левым идеалом R, то - двусторонний идеал R;в неассоциативном случае эти утверждения, вообще говоря, не имеют места. К. А. Жевлаков.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.