EmptySet.cs

using Waher.Script.Abstraction.Elements;
using Waher.Script.Model;
 
namespace Waher.Script.Constants
{
    public class EmptySet : IConstant
    {
        public EmptySet()
        {
        }
 
        public string ConstantName => "∅";
 
        public string[] Aliases => new string[] { nameof(EmptySet) };
 
        public IElement GetValueElement(Variables Variables)
        {
            return set;
        }
 
        private static readonly Objects.Sets.EmptySet set = new Objects.Sets.EmptySet();
    }
}