<< Prev | - Up - | Next >> |

`FS`

We use the following notation for operations and relations on sets. We write , and for set union, intersection, and difference, and for inclusion and disjointness, for the set cardinality, and for the element relation. Furthermore, we write and for the empty set and the universal set.

For every set specification *Spec* we write the set *M* specified by *Spec* as *M* = . For example, denotes . Further, for every set `S`

we denote with a set description *D* such that .

For more information on the finite set constraint system see [MM97].

<< Prev | - Up - | Next >> |

Denys Duchier, Leif Kornstaedt, Martin Homik, Tobias Müller, Christian Schulte and Peter Van Roy

Version 1.4.0 (20080702)