IGroup.cs

using System;
using Waher.Script.Abstraction.Elements;
 
namespace Waher.Script.Abstraction.Sets
{
    public interface IGroup : ISemiGroup
    {
        IGroupElement RightSubtract(IGroupElement Left, IGroupElement Right);
 
        IGroupElement LeftSubtract(IGroupElement Left, IGroupElement Right);
 
        bool IsAbelian
        {
            get;
        }
 
        IGroupElement AdditiveIdentity
        {
            get;
        }
 
    }
}