#1:  " ----------[ D e r i v e ]---------- "                User


        #2:  " ---------- Initialization ---------- "               User


        #3:  " ---------- Set Theory ---------- "                   User


        #4:  x := {a, b, b, c, c, c}                                User


        #5:  y := {d, c, b}                                         User


        #6:  z := {b, e, b}                                         User


        #7:  " [x \/ y \/ z, x /\ y /\ z] => [{a, b, c, d, e}, {b}] "User


        User

        #8:  q_ := [x UNION y UNION z, x INTERSECTION y INTERSECTION z]


        #9:  q_                                                     User


        #10: [{e, d, c, b, a}, {b}]                             Simp(#9)


        #11: " x \/ y \/ z - x /\ y /\ z => {a, c, d, e} "          User


             q_  \ q_ 
        #12:   1     2                                              User


        #13: {e, d, c, a}                                      Simp(#12)


        #14: x :=                                                   User


        #15: y :=                                                   User


        #16: z :=                                                   User


        User

        #17: " Cartesian product of sets => {(a, c), (a, d), (b, c), (b, d)}

               "


        #18: {a, b}*{c, d}                                          User


        #19: {[b, d], [b, c], [a, d], [a, c]}                  Simp(#18)


        #20: " ---------- Quit ---------- "                         User