Go backward to Set IntersectionGo up to TopGo forward to Example |

*Definition: difference*`x`\`y`:= {`z`in`x`:`z`not in`y`}The set of all elements in

`x`but not in`y`.*Definition: powerset***P**(`x`) := {`y`:`y`subset`x`}The set of all subsets of

`x`.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999