## Rodin HandbookThis work is sponsored by the Deploy Project This work is sponsored by the ADVANCE Project This work is licensed under a Creative Commons Attribution 3.0 Unported License |
## 2.5.3 Operations on Sets Let’s assume that we have two sets and of the same type, e.g. sets of integers. Then we can check if an element is in it with the expression (ASCII: We can build the union , the intersection and the set subtraction (ASCII: The power set (ASCII: |