SemiGroup.cs

using System;
using Waher.Script.Abstraction.Elements;
 
namespace Waher.Script.Abstraction.Sets
{
    public abstract class SemiGroup : Set, ISemiGroup
    {
        public SemiGroup()
            : base()
        {
        }
 
        public virtual ISemiGroupElement Add(ISemiGroupElement Left, ISemiGroupElement Right)
        {
            ISemiGroupElement Result;
 
            Result = Left.AddRight(Right);
            if (!(Result is null))
                return Result;
 
            Result = Right.AddLeft(Left);
            if (!(Result is null))
                return Result;
 
            return null;
        }
    }
}