## 7.3 Standard Propagators

`diff`

  > > `{FS.diff $M1 $M2 $M3}`

`intersect`

  > > `{FS.intersect $M1 $M2 $M3}`

`intersectN`

  > > `{FS.intersectN *Mv *M}`

`union`

  > > `{FS.union $M1 $M2 $M3}`

`unionN`

  > > `{FS.unionN $Mv $M}`

`subset`

  > > `{FS.subset $M1 $M2}`

`disjoint`

  > > `{FS.disjoint $M1 $M2}`

`disjointN`

  > > `{FS.disjointN *Mv}`

  All elements of the vector Mv are pairwise disjoint.

`distinct`

  > > `{FS.distinct $M1 $M2}`

`distinctN`

  > > `{FS.distinctN *MV}`

  All elements of the vector Mv are pairwise distinct.

`partition`

  > > `{FS.partition $MV $M}`

  Mv is a partition of M; that is, Mv contains pairwise disjoint sets such that their union yields M.