GroupElement.cs

using System;
using Waher.Script.Abstraction.Sets;
 
namespace Waher.Script.Abstraction.Elements
{
    public abstract class GroupElement : SemiGroupElement, IGroupElement
    {
        public GroupElement()
        {
        }
 
        public abstract IGroupElement Negate();
 
        public override ISet AssociatedSet => this.AssociatedGroup;
 
        public override ISemiGroup AssociatedSemiGroup => this.AssociatedGroup;
 
        public abstract IGroup AssociatedGroup
        {
            get;
        }
    }
}