ICommutativeRingWithIdentityElement.cs

using System;
using Waher.Script.Abstraction.Sets;
 
namespace Waher.Script.Abstraction.Elements
{
    public interface ICommutativeRingWithIdentityElement : ICommutativeRingElement 
    {
        ICommutativeRingWithIdentity AssociatedCommutativeRingWithIdentity
        {
            get;
        }
 
        ICommutativeRingWithIdentityElement One
        {
            get;
        }
    }
}