Algosim documentation: Set functions

Set functions

The following kernel functions are used with sets:

card cardinality complement
ContainsAsElement ElementOf ForEach
intersection length NotContainsAsElement
NotElementOf ProperSubset ProperSuperset
set SetDifference subset
superset SymmetricDifference union

Please note that many of these are typically accessed via their operators.