AngouriMath

Navigation

Home Quick start Wiki Almanac What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

AngouriMath.Entity.Set

← Back to list of namespaces

Classes within the AngouriMath.Entity.Set namespace

• ConditionalSet

  Summary

  This is the most abstract set. Technically, you can describe
  any set within this one. Formally, you can define set A of
  a condition F(x) in the following way: for each element x in
  the Universal x belongs to A if and only if F(x).
  

• FiniteSet

  Summary

  A finite set is a set whose elements can be counted and enumerated
  

• Inf

  Summary

  This node represents whether the given element is in the set
  

• Intersectionf

  Summary

  Finds the intersection of two sets
  It is true that an entity is in an intersection if it is in both of intersection's operands
  

• Interval

  Summary

  An interval represents all numbres in between two Entities
  LeftClosed stands for whether Left is included
  RightClosed stands for whether Right is included
  

• SetMinusf

  Summary

  Finds A & !B
  It is true that an entity is in SetMinus if it is in Left but not in Right
  

• SpecialSet

  Summary

  Special set is something that cannot be easily expressed in other
  types of sets.
  

• Unionf

  Summary

  Unites two sets
  It is true that an entity is in a union if it is at least in one of union's operands