There is one operator for testings sets: the set inclusion operator ``in''. The expression ``x in y'' returns true if the value x is contained in the set y. The ``in'' operator obeys the following law:
(x in {y,z}) = ((x in y) | (x in z))